Petri net synthesis /
Badouel, Eric,
Petri net synthesis / Eric Badouel, Luca Bernardinello, Philippe Darondeau. - 1st ed. 2015. - xiii, 339 páginas : 140 ilustraciones, 1 ilustraciones en color. - Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 .
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.
9783662479674
QA75.5-76.95
Petri net synthesis / Eric Badouel, Luca Bernardinello, Philippe Darondeau. - 1st ed. 2015. - xiii, 339 páginas : 140 ilustraciones, 1 ilustraciones en color. - Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 .
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.
9783662479674
QA75.5-76.95