Continuous Petri Nets: Expressive Power and Decidability Issues.

Laura Recalde, Serge Haddad, Manuel Silva Surez

Browse the full ATVA paper archive.