Petri Net Synthesis
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...
Main Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2015, 2015
|
Edition: | 1st ed. 2015 |
Series: | Texts in Theoretical Computer Science. An EATCS Series
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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