UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
EnglishThe 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 |
File in questo prodotto:
Copyright © 2018