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