The notion of unfolding plays a major role in the so called non sequential semantics of Petri nets, as well as in model checking of concurrent and distributed systems or in control theory. In literature various approaches to this notion have been proposed, where dependencies among events are represented either taking into account the whole history of the event (the so called individual token philosophy) or considering the whole history irrelevant (the so called collective token philosophy). In this paper we propose two unfoldings where the history is partially kept. These notions are based on unravelling a net rather than unfolding it. We compare them with the classical ones and we put all of them together in a coherent framework.

How Much is worth to remember? A Taxonomy based on Petri Nets Unfoldings

PINNA, GIOVANNI MICHELE
2011-01-01

Abstract

The notion of unfolding plays a major role in the so called non sequential semantics of Petri nets, as well as in model checking of concurrent and distributed systems or in control theory. In literature various approaches to this notion have been proposed, where dependencies among events are represented either taking into account the whole history of the event (the so called individual token philosophy) or considering the whole history irrelevant (the so called collective token philosophy). In this paper we propose two unfoldings where the history is partially kept. These notions are based on unravelling a net rather than unfolding it. We compare them with the classical ones and we put all of them together in a coherent framework.
2011
978-3-642-21833-0
Petri Nets; Unfoldings; Collective vs Individual Tokens Philosophy
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/27842
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 6
social impact