References

  1. Bogdan Aman & Gabriel Ciobanu (2018): Bonding calculus. Natural Computing 17(4), pp. 823–832, doi:10.1007/s11047-018-9709-7.
  2. Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski & Kyriaki Psara (2018): Reversing Computations Modelled by Coloured Petri Nets. In: Proceedings of ATAED 2018, CEUR Workshop Proceedings 2115, pp. 91–111. Available at http://ceur-ws.org/Vol-2115/ATAED2018-91-111.pdf.
  3. Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski & Kyriaki Psara (2022): Formal Translation from Reversing Petri Nets to Coloured Petri Nets. In: Proceedings of RC 2022, LNCS 13354. Springer, pp. 172–186, doi:10.1007/978-3-031-09005-9_12.
  4. Kamila Barylska, Maciej Koutny, Lukasz Mikulski & Marcin Piatkowski (2018): Reversible computation vs. reversibility in Petri nets. Science of Computer Programming 151, pp. 48–60, doi:10.1016/j.scico.2017.10.008.
  5. Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny & Evgeny Erofeev (2016): Reversing Transitions in Bounded Petri Nets. In: Proceedings of CS&P 2016, CEUR Workshop Proceedings 1698. CEUR-WS.org, pp. 74–85.
  6. Adel Benamira (2020): Causal Reversibility in Individual Token Interpretation of Petri Nets. The Computer Science Journal 21(4), doi:10.7494/csci.2020.21.4.3728.
  7. Vincent Danos & Jean Krivine (2004): Reversible Communicating Systems. In: Proceedings of CONCUR 2004, LNCS 3170. Springer, pp. 292–307, doi:10.1007/978-3-540-28644-8_19.
  8. Vincent Danos & Jean Krivine (2005): Transactions in RCCS. In: Proceedings of CONCUR 2005, LNCS 3653. Springer, pp. 398–412, doi:10.1007/11539452_31.
  9. Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou & Kyriaki Psara (2020): Encoding Reversing Petri Nets in Answer Set Programming. In: Proceedings of RC 2020, LNCS 12227. Spinger, pp. 264–271, doi:10.1007/978-3-030-52482-1_17.
  10. Rob J. van Glabbeek (2005): The Individual and Collective Token Interpretations of Petri Nets. In: Proceedings of CONCUR 2005, LNCS 3653. Springer, pp. 323–337, doi:10.1007/11539452_26.
  11. Rob J. van Glabbeek, Ursula Goltz & Jens-Wolfhard Schicke (2021): On Causal Semantics of Petri Nets. CoRR abs/2103.00729. Available at https://arxiv.org/abs/2103.00729.
  12. Rob J. van Glabbeek & Gordon D. Plotkin (1995): Configuration Structures. In: Proceedings of LICS 1995. IEEE Computer Society, pp. 199–209, doi:10.1109/LICS.1995.523257.
  13. Jetty Kleijn & Maciej Koutny (2002): Causality semantics of Petri nets with weighted inhibitor arcs. In: Proceedings of CONCUR 2002, LNCS 2421. Springer, pp. 531–546, doi:10.1007/3-540-45694-5_35.
  14. Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara & Irek Ulidowski (2020): Reversibility in Chemical Reactions. In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, LNCS 1270. Spinger, pp. 151–176, doi:10.1007/978-3-030-47361-7_7.
  15. Stefan Kuhn & Irek Ulidowski (2018): Local reversibility in a Calculus of Covalent Bonding. Science of Computer Programming 151(Supplement C), pp. 18–47, doi:10.1016/j.scico.2017.09.008.
  16. Ivan Lanese, Claudio Antares Mezzina & Jean-Bernard Stefani (2016): Reversibility in the higher-order π-calculus. Theoretical Computer Science 625, pp. 25–84, doi:10.1016/j.tcs.2016.02.019.
  17. Ivan Lanese, Iain C. C. Phillips & Irek Ulidowski (2020): An Axiomatic Approach to Reversible Computation. In: Proceedings of FOSSACS 2020, LNCS 12077 12077. Springer, pp. 442–461, doi:10.1007/978-3-030-45231-5_23.
  18. Y. Edmund Lien (1976): A note on transition systems. Information Sciences 10(4), pp. 347–362, doi:10.1016/0020-0255(76)90054-2.
  19. Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna & Irek Ulidowski (2020): Reversible Occurrence Nets and Causal Reversible Prime Event Structures. In: Proceedings of RC 2020, LNCS 12227. Spinger, pp. 19–36, doi:10.1007/978-3-030-52482-1_2.
  20. Hernán C. Melgratti, Claudio Antares Mezzina & Irek Ulidowski (2020): Reversing Place Transition Nets. Logical Methods in Computer Science 16(4). Available at https://lmcs.episciences.org/6843.
  21. Lukasz Mikulski & Ivan Lanese (2019): Reversing Unbounded Petri Nets. In: Proceedings of PETRI NETS 2019, LNCS 11522. Springer, pp. 213–233, doi:10.1007/978-3-030-21571-2_13.
  22. Anna Philippou & Kyriaki Psara (2018): Reversible Computation in Petri Nets. In: Proceedings of RC 2018, LNCS 11106. Springer, pp. 84–101, doi:10.1007/978-3-319-99498-7_6.
  23. Anna Philippou & Kyriaki Psara (2022): A collective interpretation semantics for reversing Petri nets. Theoretical Computer Science 924, pp. 148–170, doi:10.1016/j.tcs.2022.05.016.
  24. Anna Philippou & Kyriaki Psara (2022): Reversible computation in nets with bonds. Journal of Logical and Algebraic Methods in Programming 124, pp. 100718, doi:10.1016/j.jlamp.2021.100718.
  25. Anna Philippou, Kyriaki Psara & Harun Siljak (2019): Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. In: Proceedings of RC 2019, LNCS 11497. Springer, pp. 238–245, doi:10.1007/978-3-030-21500-2_15.
  26. Iain Phillips & Irek Ulidowski (2007): Reversing algebraic process calculi. Journal of Logic and Algebraic Programming 73(1-2), pp. 70–96, doi:10.1016/j.jlap.2006.11.002.
  27. Iain Phillips & Irek Ulidowski (2015): Reversibility and asymmetric conflict in event structures. Journal of Logical and Algebraic Methods in Programming 84(6), pp. 781–805, doi:10.1016/j.jlamp.2015.07.004.
  28. Iain Phillips, Irek Ulidowski & Shoji Yuen (2012): A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. In: Proceedings of RC 2012, LNCS 7581. Springer, pp. 218–232, doi:10.1007/978-3-642-36315-3_18.
  29. Iain Phillips, Irek Ulidowski & Shoji Yuen (2013): Modelling of Bonding with Processes and Events. In: Proceedings of RC 2013, LNCS 7947. Springer, pp. 141–154, doi:10.1007/978-3-642-38986-3_12.
  30. Kyriaki Psara (2020): Reversible Computation in Petri Nets. Department of Computer Science, University of Cyprus. Available at https://arxiv.org/abs/2101.07066.
  31. Wolfgang Reisig (1985): Petri Nets with Individual Tokens. Theoretical Computer Science 41, pp. 185–213, doi:10.1016/0304-3975(85)90070-2.
  32. Grzegorz Rozenberg & Joost Engelfriet (1996): Elementary net systems. In: Advanced Course on Petri Nets, LNCS 1491. Springer, pp. 12–121, doi:10.1007/3-540-65306-6_14.
  33. Irek Ulidowski, Iain Phillips & Shoji Yuen (2014): Concurrency and Reversibility. In: Proceedings of RC 2014, LNCS 8507. Springer, pp. 1–14, doi:10.1007/978-3-319-08494-7_1.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org