Tesi etd-07052011-213731 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
MASTRINI, LUCA
URN
etd-07052011-213731
Titolo
Firing and Step semantics for a class of Open Petri Nets
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
relatore Gadducci, Fabio
controrelatore Montangero, Carlo
controrelatore Montangero, Carlo
Parole chiave
- net
- petri
- semantics
Data inizio appello
22/07/2011
Consultabilità
Non consultabile
Data di rilascio
22/07/2051
Riassunto
This thesis is devoted to the analysis and the study of semantics equivalence
for interleaving and concurrent systems over some class of Open Petri Nets.
We build a firing and step semantics for a class of Petri net in order to define their behaviours. To do that we need some properties that allow
us to assert that a concurrent step can always be rewritten in a firing sequence. Finally we show the coincidence between the two semantics using the notion of bisimulation and bisimilarity.
for interleaving and concurrent systems over some class of Open Petri Nets.
We build a firing and step semantics for a class of Petri net in order to define their behaviours. To do that we need some properties that allow
us to assert that a concurrent step can always be rewritten in a firing sequence. Finally we show the coincidence between the two semantics using the notion of bisimulation and bisimilarity.
File
| Nome file | Dimensione |
|---|---|
La tesi non è consultabile. |
|