Petri net synthesis / Eric Badouel, Luca Bernardinello, Philippe Darondeau.
Tipo de material:
TextoSeries Texts in Theoretical Computer Science. An EATCS SeriesEditor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2015Edición: 1st ed. 2015Descripción: xiii, 339 páginas : 140 ilustraciones, 1 ilustraciones en colorTipo de contenido: - texto
- computadora
- recurso en línea
- 9783662479674
- QA75.5-76.95
Contenidos:
Introduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem -- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net Synthesis -- The Linear Algebraic Structure of Regions -- Synthesis of P/T-Nets from Finite Initialized Transition Systems -- Synthesis of Unbounded P/T-Nets -- P/T-Nets with the Step Firing Rule -- Extracting Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent Circuits -- Bibliography.
No hay ítems correspondientes a este registro
Springer eBooks
Introduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem -- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net Synthesis -- The Linear Algebraic Structure of Regions -- Synthesis of P/T-Nets from Finite Initialized Transition Systems -- Synthesis of Unbounded P/T-Nets -- P/T-Nets with the Step Firing Rule -- Extracting Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent Circuits -- Bibliography.
Para consulta fuera de la UANL se requiere clave de acceso remoto.