PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Kleijn J. Vector Team Automata. In: Theoretical Computer Science, vol. 429 pp. 21 - 29. Elsevier, Amsterdam, 2012.
 
 
Abstract
(English)
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.
URL: http://www.sciencedirect.com/science/article/pii/S0304397511009868
DOI: http://dx.doi.org/10.1016/j.tcs.2011.12.020
Subject Team automata
Petri nets
Concurrency
F.1.1 Models of Computation - Automata
D.2.2 Design Tools and Techniques - Petri nets
F.1.2 Modes of Computation - Parallelism and concurrency


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional