Vector team automata are team automata with an explicit representation of synchronizations. This makes a translation possible of a subclass of vector team automata into individual token net controllers, a model of labeled Petri nets developed within the framework of vector controlled concurrent systems.
Vector Team Automata
Ter Beek M H;
2012
Abstract
Vector team automata are team automata with an explicit representation of synchronizations. This makes a translation possible of a subclass of vector team automata into individual token net controllers, a model of labeled Petri nets developed within the framework of vector controlled concurrent systems.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_275215-doc_77994.pdf
solo utenti autorizzati
Descrizione: Vector Team Automata
Tipologia:
Versione Editoriale (PDF)
Dimensione
456.62 kB
Formato
Adobe PDF
|
456.62 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
