Skip to main content
SpringerLink
Log in

Controlled Reversibility in Reaction Systems

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

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

Included in the following conference series:

Abstract

We study the controlled reversibility in reaction systems, a bio-inspired formalism in which the reactions take place only if some inhibitors are not present. Forward reactions are exactly those of the reaction systems, while reverse reactions happen when a special symbol indicates a change in the environment. The reversible reaction systems are translated into rewriting systems which are executable on the Maude software platform. Given such an implementation, several properties of the reversible reaction systems could be verified.

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

References

  1. Agrigoroaiei, O., Ciobanu, G.: Dual P systems. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 95–107. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-95885-7_7

    Chapter  Google Scholar 

  2. Agrigoroaiei, O., Ciobanu, G.: Rewriting logic specification of membrane systems with promoters and inhibitors. Electron. Notes Theor. Comput. Sci. 238, 5–22 (2009)

    Article  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  4. Alhazov, A., Aman, B., Freund, R., Ivanov, S.: Simulating R systems by P systems. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) CMC 2016. LNCS, vol. 10105, pp. 51–66. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-54072-6_4

    Chapter  Google Scholar 

  5. Alhazov, A., Morita, K.: On reversibility and determinism in P systems. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 158–168. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11467-0_12

    Chapter  Google Scholar 

  6. Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of P systems. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126–145. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31837-8_7

    Chapter  Google Scholar 

  7. Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fundamenta Informaticae 131(3–4), 299–312 (2014)

    MathSciNet  MATH  Google Scholar 

  8. Azimi, S., Panchal, C., Czeizler, E., Petre, I.: Reaction systems models for the self-assembly of intermediate filaments. Ann. Univ. Buchar. LXII(2), 9–24 (2015)

    Google Scholar 

  9. Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  10. Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499–1517 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: All About Maude - A High Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71999-1

    MATH  Google Scholar 

  12. 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 

  13. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1), 263–280 (2007)

    MathSciNet  MATH  Google Scholar 

  14. Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2), 279–308 (2006)

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  16. Kari, L., Rozenberg, G.: The many facets of natural computing. Commun. ACM 51, 72–83 (2008)

    Article  Google Scholar 

  17. Kuhn, S., Ulidowski, I.: A calculus for local reversibility. In: Devitt, S., Lanese, I. (eds.) RC 2016. LNCS, vol. 9720, pp. 20–35. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40578-0_2

    Chapter  Google Scholar 

  18. Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Presicce, F.P. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18–61. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-64299-4_26

    Chapter  Google Scholar 

  19. Meseguer, J.: Twenty years of rewriting logic. J. Logic Algebraic Program. 81(7–8), 721–781 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  20. Morita, K.: Universality of a reversible two-counter machine. Theor. Comput. Sci. 168, 303–320 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  21. Morita, K., Yamaguchi, Y.: A universal reversible Turing machine. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol. 4664, pp. 90–98. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74593-8_8

    Chapter  Google Scholar 

  22. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  23. Păun, G., Pérez-Jiménez, M.J.: Towards bridging two cell-inspired models: P systems and R systems. Theor. Comput. Sci. 429, 258–264 (2012)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We thank the reviewers for their helpful comments and suggestions. This work was partially supported by the COST Action IC1405.

Author information

Authors and Affiliations

  1. Institute of Computer Science, Romanian Academy, Blvd. Carol I no. 8, 700505, Iaşi, Romania

    Bogdan Aman & Gabriel Ciobanu

Authors
  1. Bogdan Aman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bogdan Aman .

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

Aman, B., Ciobanu, G. (2018). Controlled Reversibility in Reaction Systems. 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_3

Download citation

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

  • 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