Membrane Systems and Petri Net Synthesis

Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a transition system which specifies the desired state space of the system to be constructed. We demonstrate how a Petri net solution to this problem, based on the notion of region of a transition system, yields a method of automated synthesis of membrane systems from state spaces.

[1]  Jörg Desel,et al.  ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.

[2]  Madhavan Mukund.  Petri Nets and Step Transition Systems , 1992, Int. J. Found. Comput. Sci..

[3]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.

[4]  N. Chernikova.  Algorithm for finding a general formula for the non-negative solutions of a system of linear equations , 1964 .

[5]  Maciej Koutny,et al.  Membrane Systems with Qualitative Evolution Rules , 2011, Fundam. Informaticae.

[6]  Maciej Koutny,et al.  Synthesis of Elementary Net Systems with Context Arcs and Localities , 2007, Fundam. Informaticae.

[7]  Wolfgang Reisig,et al.  The synthesis problem of Petri nets , 1993, Acta Informatica.

[8]  Wolfgang Reisig,et al.  Modeling in Systems Biology, The Petri Net Approach , 2010, Computational Biology.

[9]  Gheorghe Paun,et al.  A guide to membrane computing , 2002, Theor. Comput. Sci..

[10]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

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

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

[13]  Maciej Koutny,et al.  Petri Nets for Biologically Motivated Computing , 2011, Sci. Ann. Comput. Sci..

[14]  Maciej Koutny,et al.  Synthesis of Nets with Step Firing Policies , 2008, Petri Nets.

[15]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[16]  DeselJörg,et al.  The synthesis problem of Petri nets , 1996 .

[17]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

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

[19]  Maciej Koutny,et al.  Process Semantics for Membrane Systems , 2006, J. Autom. Lang. Comb..

[20]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[21]  Luca Bernardinello,et al.  Synthesis of Net Systems , 1993, Application and Theory of Petri Nets.

[22]  Maciej Koutny,et al.  Step semantics of boolean nets , 2013, Acta Informatica.

[23]  Maciej Koutny,et al.  Synthesis of Petri Nets with Localities , 2009, Sci. Ann. Comput. Sci..

[24]  Marco Ajmone Marsan,et al.  Application and Theory of Petri Nets 1993 , 1993, Lecture Notes in Computer Science.

[25]  Marta Pietkiewicz-Koutny.  The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs , 1999, Fundam. Informaticae.

[26]  Maciej Koutny,et al.  Processes of membrane systems with promoters and inhibitors , 2008, Theor. Comput. Sci..

[27]  C. Petri.  Kommunikation mit Automaten , 1962 .

[28]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[29]  Maciej Koutny,et al.  Modelling Reaction Systems with Petri Nets , 2011 .