@inproceedings {IPReHaSi07, title = {Continuous Petri Nets: Expressive Power and Decidability Issues}, booktitle = {LNCS}, volume = {4762}, year = {2007}, pages = {362-377}, publisher = {Spinger}, organization = {Spinger}, author = {L. Recalde and S. Haddad and M. Silva} }