Paolo Baldan ; Roberto Bruni ; Andrea Corradini ; Fabio Gadducci ; Hernan Melgratti et al. - Event Structures for Petri nets with Persistence

lmcs:4279 - Logical Methods in Computer Science, September 28, 2018, Volume 14, Issue 3 - https://doi.org/10.23638/LMCS-14(3:25)2018
Event Structures for Petri nets with PersistenceArticle

Authors: Paolo Baldan ; Roberto Bruni ; Andrea Corradini ; Fabio Gadducci ; Hernan Melgratti ; Ugo Montanari

    Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures, called prime event structures, where each event has a uniquely determined set of causes. Prime event structures, in turn, can be identified with their domain of configurations. At a categorical level, this is nicely formalised by Winskel as a chain of coreflections. Contrary to prime event structures, general event structures allow for the presence of disjunctive causes, i.e., events can be enabled by distinct minimal sets of events. In this paper, we extend the connection between Petri nets and event structures in order to include disjunctive causes. In particular, we show that, at the level of nets, disjunctive causes are well accounted for by persistent places. These are places where tokens, once generated, can be used several times without being consumed and where multiple tokens are interpreted collectively, i.e., their histories are inessential. Generalising the work on ordinary nets, Petri nets with persistence are related to a new subclass of general event structures, called locally connected, by means of a chain of coreflections relying on an unfolding construction.


    Volume: Volume 14, Issue 3
    Published on: September 28, 2018
    Accepted on: July 17, 2018
    Submitted on: February 13, 2018
    Keywords: Computer Science - Logic in Computer Science,F.1.2,F.3.2,F.4.1

    Consultation statistics

    This page has been seen 1758 times.
    This article's PDF has been downloaded 428 times.