Time Delays in Membrane Systems and Petri Nets

Bogdan Aman
(''A.I. Cuza'' University of Iasi, Romania)
Gabriel Ciobanu
(Institute of Computer Science, Romanian Academy, Iasi)

Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resource. We establish a link between timed membrane systems and timed Petri nets with localities, and prove an operational correspondence between them.

In Mieke Massink and Gethin Norman: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), Saarbrücken, Germany, April 1-3, 2011, Electronic Proceedings in Theoretical Computer Science 57, pp. 47–60.
Published: 4th July 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.57.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org