Reversibility in Parallel Rewriting Systems

This paper represents a study of reversibility in parallel rewriting systems over multisets. It emphasizes the controlled reversibility for a particular case of parallel rewriting systems given by membrane systems, a formalism inspired by the cell activity. We define reversible membrane systems in which the scenarios based on regular expressions are able to control the direction (forward or backward) of the evolution. The backward computation is triggered by a special symbol ρ introduced into the system. Several results concerning the evolution of membrane systems and reversible membrane systems are provided, opening new research opportunities.

[1]  Carlos Martín-Vide,et al.  Membrane systems with promoters/inhibitors , 2002, Acta Informatica.

[2]  Kenichi Morita,et al.  Simple Universal One-Dimensional Reversible Cellular Automata , 2007, J. Cell. Autom..

[3]  Kenichi Morita,et al.  A Simple Universal Logic Element and Cellular Automata for Reversible Computing , 2001, MCU.

[4]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[5]  Cosimo Laneve,et al.  Reversibility in Massive Concurrent Systems , 2011, Sci. Ann. Comput. Sci..

[6]  Kenichi Morita,et al.  Universality of a Reversible Two-Counter Machine , 1996, Theor. Comput. Sci..

[7]  Gabriel Ciobanu,et al.  Scenario Based P Systems , 2013, Int. J. Unconv. Comput..

[8]  Emilio Tuosto,et al.  Choreographies for Automatic Recovery , 2017, ArXiv.

[9]  Iain C. C. Phillips,et al.  Reversing algebraic process calculi , 2007, J. Log. Algebraic Methods Program..

[10]  Gabriel Ciobanu,et al.  Rewriting Systems Over Indexed Multisets , 2014, Comput. J..

[11]  Vincent Danos,et al.  Reversible Communicating Systems , 2004, CONCUR.

[12]  Gheorghe Paun.  Membrane Computing , 2010, Scholarpedia.

[13]  Giancarlo Mauri,et al.  Reversible P Systems to Simulate Fredkin Circuits , 2006, Fundam. Informaticae.

[14]  R. Voellmy,et al.  Transduction of the stress signal and mechanisms of transcriptional regulation of heat shock/stress protein gene expression in higher eukaryotes. , 1994, Critical reviews in eukaryotic gene expression.

[15]  Stefano Bistarelli,et al.  On Representing Biological Systems through Multiset Rewriting , 2003, EUROCAST.

[16]  Manuel Silva Suárez,et al.  Petri Nets and Manufacturing Systems: An Examples-Driven Tour , 2003, Lectures on Concurrency and Petri Nets.

[17]  Artiom Alhazov,et al.  On Reversibility and Determinism in P Systems , 2009, Workshop on Membrane Computing.

[18]  Irek Ulidowski,et al.  A Calculus for Local Reversibility , 2016, RC.

[19]  Kenichi Morita,et al.  A Universal Reversible Turing Machine , 2007, MCU.