The notion of unfolding plays a major role in the so called non sequential semantics of Petri nets. In literature various approaches to this notion have been proposed, taking into account the so called individual token philosophy (the whole history is relevant) and the so called collective token philosophy (part of the history can be forgotten). In this paper we compare and relate two notions of unfolding (one for the individual and the other for the collective token philosophy) and we investigate on the relations between these two approaches and the non sequential behaviour of Petri Nets.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Petri Nets Unfoldings and the individual/collective token philosophy |
Autori: | |
Data di pubblicazione: | 2009 |
Abstract: | The notion of unfolding plays a major role in the so called non sequential semantics of Petri nets. In literature various approaches to this notion have been proposed, taking into account the so called individual token philosophy (the whole history is relevant) and the so called collective token philosophy (part of the history can be forgotten). In this paper we compare and relate two notions of unfolding (one for the individual and the other for the collective token philosophy) and we investigate on the relations between these two approaches and the non sequential behaviour of Petri Nets. |
Handle: | http://hdl.handle.net/11584/29122 |
Tipologia: | 4.1 Contributo in Atti di convegno |