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