%0 Conference Proceedings
%T Reversing P/T Nets
%+ Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] (CONICET)
%+ Universidad de Buenos Aires [Buenos Aires] (UBA)
%+ University of Leicester
%+ Università degli Studi di Urbino 'Carlo Bo'
%A Melgratti, Hernán
%A Mezzina, Claudio, Antares
%A Ulidowski, Irek
%Z Part 1: Computational Models
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 21th International Conference on Coordination Languages and Models (COORDINATION)
%C Kongens Lyngby, Denmark
%Y Hanne Riis Nielson
%Y Emilio Tuosto
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-11533
%P 19-36
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-22397-7_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Petri Nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop such semantics for Place/Transitions Petri Nets (P/T nets) based on two observations. Firstly, a net that explicitly expresses causality and conflict among events, e.g., an occurrence net, can be straightforwardly reversed by adding reversal for each of its transitions. Secondly, the standard unfolding construction associates a P/T net with an occurrence net that preserves all of its computation. Consequently, the reversible semantics of a P/T net can be obtained as the reversible semantics of its unfolding. We show that such reversible behaviour can be expressed as a finite net whose tokens are coloured by causal histories. Colours in our encoding resemble the causal memories that are typical in reversible process calculi.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02365503/document
%2 https://inria.hal.science/hal-02365503/file/478673_1_En_2_Chapter.pdf
%L hal-02365503
%U https://inria.hal.science/hal-02365503
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-11533