P Systems, Petri Nets, and Program Machines

Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtained results are not limited to P systems.

[1]  M. Minsky.  Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .

[2]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[3]  Hendrik Jan Hoogeboom,et al.  Simulating Counter Automata by P Systems with Symport/Antiport , 2002, WMC-CdeA.

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

[5]  Burkhard Monien.  Two-Way Multihead Automata Over a One-Letter Alphabet , 1980, RAIRO Theor. Informatics Appl..

[6]  György Vaszil.  On the Size of P Systems with Minimal Symport/Antiport , 2004, Workshop on Membrane Computing.

[7]  Sheila A. Greibach.  Remarks on Blind and Partially Blind One-Way Multicounter Machines , 1978, Theor. Comput. Sci..

[8]  Hans-Dieter Burkhard.  Ordered Firing in Petri Nets , 1981, J. Inf. Process. Cybern..

[9]  Pierluigi Frisco.  About P systems with symport/antiport , 2005, Soft Comput..

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

[11]  Pierluigi Frisco,et al.  The conformon-P system: a molecular and cell biology-inspired computability model , 2004, Theor. Comput. Sci..

[12]  Gheorghe Paun,et al.  Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers , 2002 .

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

[14]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[15]  Rudolf Freund,et al.  Computationally universal P systems without priorities: two catalysts are sufficient , 2005, Theor. Comput. Sci..

[16]  Rudolf Freund,et al.  Asynchronous P Systems and P Systems Working in the Sequential Mode , 2004, Workshop on Membrane Computing.

[17]  Oscar H. Ibarra,et al.  Catalytic P systems, semilinear sets, and vector addition systems , 2004, Theor. Comput. Sci..

[18]  Rudolf Freund,et al.  P Systems with Activated/Prohibited Membrane Channels , 2002, WMC-CdeA.

[19]  Petr Sosík.  The Power of Catalysts and Priorities in Membrane Systems , 2003, Grammars.

[20]  Andrei Paun,et al.  On the Power of P Systems with Symport Rules , 2002, J. Univers. Comput. Sci..