2011/07/06 by Bogdan Aman, Gabriel Ciobanu
Computer Science · #cs.DC #cs.FL
paper · pdf · doi:10.4204/eptcs.57.4
published as EPTCS 57, 2011, pp. 47-60 · In Proceedings QAPL 2011, arXiv:1107.0746
arxiv created 2011/07/06 · arxiv updated 2011/07/07
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.