Petri Net Synthesis: 2015 (Texts in Theoretical Computer Science: An EATCS
117,65 €
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. His research interests include concurrency and Petri nets.
Jetzt bei Ebay:
