Properties of enhanced mobile membranes via coloured Petri nets

Enhanced mobile membranes represent a rule-based formalism involving parallelism and mobility dependent on available resources. A translation of this formalism into coloured Petri nets is provided in order to analyse some important properties (reachability, boundedness, liveness, fairness) in enhanced mobile membranes.

[1]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[2]  Maciej Koutny,et al.  Towards a Petri Net Semantics for Membrane Systems , 2005, Workshop on Membrane Computing.

[3]  R. Levins.  The strategy of model building in population biology , 1966 .

[4]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[5]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[6]  Mogens Nielsen,et al.  Decidability Issues for Petri Nets - a survey , 1994, Bull. EATCS.

[7]  Maciej Koutny,et al.  Petri Nets and Membrane Computing , 2008 .

[8]  Gabriel Ciobanu,et al.  Enhanced Mobile Membranes: Computability Results , 2010, Theory of Computing Systems.

[9]  Jinyuan You,et al.  P Systems and Petri Nets , 2003, Workshop on Membrane Computing.

[10]  Silvano Dal-Zilio,et al.  On the Dynamics of PB Systems: A Petri Net View , 2003, Workshop on Membrane Computing.

[11]  Gabriel Ciobanu,et al.  Simple, Enhanced and Mutual Mobile Membranes , 2009, Trans. Comp. Sys. Biology.

[12]  Gabriel Ciobanu,et al.  Describing the Immune System Using Enhanced Mobile Membranes , 2007, FBTC@CONCUR.

[13]  Joel E. Cohen,et al.  Mathematics Is Biology's Next Microscope, Only Better; Biology Is Mathematics' Next Physics, Only Better , 2004, PLoS biology.