Petri Net Synthesis

• Κύριοι συγγραφείς: Badouel, Eric (Συγγραφέας), Bernardinello, Luca (Συγγραφέας), Darondeau, Philippe (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Texts in Theoretical Computer Science. An EATCS Series,
• Θέματα: Computer science.; Software engineering.; Computers.; Computer science > Mathematics.; Mathematical logic.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.

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. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated proces...

Πίνακας περιεχομένων:

• 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.