logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-07052011-213731


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
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.
File