Skip to main content
SpringerLink
Log in

Reversing Steps in Membrane Systems Computations

  • Conference paper
  • First Online:
Membrane Computing (CMC 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10725))

Included in the following conference series:

Abstract

The issue of reversibility in computational paradigms has gained interest in recent years. In this paper we investigate how to reverse steps in membrane systems computations. The problem is that computation steps in membrane systems do not preserve all the information that has to be used when reversing them. We try to formalize the relevant information needed, and we show that the proposed approach enjoy the so called loop lemma, which basically assures that the undoing obtained by reversely applying rules is correct.

Work partially supported by RAS, Sardinia Regional Government, Convenzione triennale tra la Fondazione di Sardegna e gli Atenei Sardi Regione Sardegna, (CUP: F72F16003030002), and P.I.A. 2013 “NOMAD”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    This is testified by the series of workshops and conferences entitled Reversible Computation (RC) organized since 2009, which is a conference since 2013.

  2. 2.

    This requirement is reasonable when one imagine that reversing means undoing the effects of a rule, thus if a rule just serves to annihilate all the objects to be rewritten then one can imagine that such a rule can be always reversed, in any multiplicity.

References

  1. Agrigoroaiei, O., Ciobanu, G.: Reversing computation in membrane systems. J. Logic Algebraic Program. 79(3–5), 278–288 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  2. Agrigoroaiei, O., Ciobanu, G.: Rule-based and object-based event structures for membrane systems. J. Logic Algebraic Program. 79(6), 295–303 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  3. Alhazov, A., Freund, R., Morita, K.: Sequential and maximally parallel multiset rewriting: reversibility and determinism. Nat. Comput. 11(1), 95–106 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  4. Aman, B., Ciobanu, G.: Computational power of protein interaction networks. In: Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A.E. (eds.) UCNC 2013. LNCS, vol. 7956, pp. 248–249. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39074-6_25

    Chapter  Google Scholar 

  5. Ciobanu, G., Pan, L., Păun, G., Pérez-Jiménez, M.J.: P systems with minimal parallelism. Theoret. Comput. Sci. 378(1), 117–130 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  6. Ciobanu, G., Pinna, G.M.: Catalytic Petri nets are turing complete. In: Dediu, A.-H., Martín-Vide, C. (eds.) LATA 2012. LNCS, vol. 7183, pp. 192–203. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28332-1_17

    Chapter  Google Scholar 

  7. Ciobanu, G., Pinna, G.M.: Catalytic and communicating Petri nets are Turing complete. Inf. Comput. 239, 55–70 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  8. Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292–307. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-28644-8_19

    Chapter  Google Scholar 

  9. Freund, R., Kari, L., Oswald, M., Sosík, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theoret. Comput. Sci. 330(2), 251–266 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  10. Giachino, E., Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent reversibility in a tuple-based language. In: Daneshtalab, M., Aldinucci, M., Leppänen, V., Lilius, J., Brorsson, M. (eds.) PDP 2015, pp. 467–475. IEEE Computer Society (2015)

    Google Scholar 

  11. Ibarra, O.H.: On strong reversibility in P systems and related problems. Int. J. Found. Comput. Sci. 22(1), 7–14 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kleijn, J., Koutny, M.: A Petri net model for membrane systems with dynamic structure. Nat. Comput. 8(4), 781–796 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kleijn, J.H.C.M., Koutny, M., Rozenberg, G.: Towards a Petri net semantics for membrane systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 292–309. Springer, Heidelberg (2006). https://doi.org/10.1007/11603047_20

    Chapter  Google Scholar 

  14. Lanese, I., Mezzina, C.A., Stefani, J.-B.: Reversing higher-order Pi. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 478–493. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15375-4_33

    Chapter  Google Scholar 

  15. Lanese, I., Mezzina, C.A., Stefani, J.: Reversibility in the higher-order \(\pi \)-calculus. Theoret. Comput. Sci. 625, 25–84 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS (114) (2014)

    Google Scholar 

  17. Leporati, A., Zandron, C., Mauri, G.: Reversible P systems to simulate Fredkin circuits. Fundamenta Informaticae 74(4), 529–548 (2006)

    MathSciNet  MATH  Google Scholar 

  18. Nishida, T.Y.: Reversible P systems with symport/antiport rules. In: Paun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A. (eds.) WMC 2010, pp. 452–460 (2010)

    Google Scholar 

  19. Phillips, I., Ulidowski, I.: Reversibility and asymmetric conflict in event structures. J. Logic Algebraic Methods Program. 84(6), 781–805 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  20. Pinna, G.M., Saba, A.: Modeling dependencies and simultaneity in membrane system computations. Theoret. Comput. Sci. 431, 13–39 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  21. Păun, A., Păun, G.: The power of communication: P systems with Symport/Antiport. New Gener. Comput. 20(3), 295–306 (2002)

    Article  MATH  Google Scholar 

  22. Păun, G.: Computing with membranes: an introduction. Bull. EATCS 67, 139–152 (1999)

    MathSciNet  MATH  Google Scholar 

  23. Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)

    Book  MATH  Google Scholar 

  24. Song, T., Shi, X., Xu, J.: Reversible spiking neural P systems. Front. Comput. Sci. 7(3), 350–358 (2013)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgement

The author acknowledge the useful remarks and suggestions by the anonymous reviewers.

Author information

Authors and Affiliations

  1. Dipartimento di Matematica e Informatica, Università di Cagliari, Cagliari, Italy

    G. Michele Pinna

Authors
  1. G. Michele Pinna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to G. Michele Pinna .

Editor information

Editors and Affiliations

  1. University of Bradford, Bradford, United Kingdom

    Marian Gheorghe

  2. Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Centre for Computer Science, Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca, Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Michele Pinna, G. (2018). Reversing Steps in Membrane Systems Computations. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2017. Lecture Notes in Computer Science(), vol 10725. Springer, Cham. https://doi.org/10.1007/978-3-319-73359-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73359-3_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-73358-6

  • Online ISBN: 978-3-319-73359-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation