Time Delays in Membrane Systems and Petri Nets
Distributed, Parallel, and Cluster Computing
2011-07-07 v1 Formal Languages and Automata Theory
Abstract
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.
Keywords
Cite
@article{arxiv.1107.1200,
title = {Time Delays in Membrane Systems and Petri Nets},
author = {Bogdan Aman and Gabriel Ciobanu},
journal= {arXiv preprint arXiv:1107.1200},
year = {2011}
}
Comments
In Proceedings QAPL 2011, arXiv:1107.0746