Badouel, Eric, <br/><br/>
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 .
<br/><br/> Springer eBooks 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783662479674 
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95