%0 Journal Article %1 Qi:2004df %A Qi, Zhengwei %A You, Jinyuan %A Mao, Hongyan %D 2004 %J Membrane Computing %K Petri-nets refinement %P 819--847 %T P Systems and Petri Nets %U http://www.springerlink.com/content/l7drqlj8ckq9vbym %X We propose an intriguing relationship between P systems and Petri nets. For a basic model of P systems, this paper presents a new formalization based on place/transition nets, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize incidence matrix to analyze the computation of one macro-step. We also define the behavioral properties in P systems such as terminating, liveness, and boundedness based on this formalization. For a general class of P systems, we briefly describe a high-level framework called membrane Petri nets (MP-nets). MP-nets extend ordinary colored Petri nets (CPN) through introducing the dynamic features such as dissolve, divide, and move inspired by P systems. Therefore, MP-nets can be a graphical as well as an algebraic modelling tool for both generic P systems and dynamic CPN.

@article{Qi:2004df, abstract = {We propose an intriguing relationship between P systems and Petri nets. For a basic model of P systems, this paper presents a new formalization based on place/transition nets, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize incidence matrix to analyze the computation of one macro-step. We also define the behavioral properties in P systems such as terminating, liveness, and boundedness based on this formalization. For a general class of P systems, we briefly describe a high-level framework called membrane Petri nets (MP-nets). MP-nets extend ordinary colored Petri nets (CPN) through introducing the dynamic features such as dissolve, divide, and move inspired by P systems. Therefore, MP-nets can be a graphical as well as an algebraic modelling tool for both generic P systems and dynamic CPN.}, added-at = {2009-11-07T12:32:20.000+0100}, author = {Qi, Zhengwei and You, Jinyuan and Mao, Hongyan}, bdsk-url-1 = {http://www.springerlink.com/content/l7drqlj8ckq9vbym}, biburl = {https://www.bibsonomy.org/bibtex/20f6375b8de62e9f1b9dc76cd40578fab/hidders}, date-added = {2009-11-07 12:31:29 +0100}, date-modified = {2009-11-07 12:31:29 +0100}, interhash = {58508cd4c8ff94bab5e012f5c0abf3bb}, intrahash = {0f6375b8de62e9f1b9dc76cd40578fab}, journal = {Membrane Computing}, keywords = {Petri-nets refinement}, pages = {819--847}, timestamp = {2009-11-07T12:32:21.000+0100}, title = {P Systems and Petri Nets}, ty = {CHAPTER}, url = {http://www.springerlink.com/content/l7drqlj8ckq9vbym}, year = 2004 }