Title:
Petri Net Synthesis
Author:
Badouel, Eric. author.
ISBN:
9783662479674
Edition:
1st ed. 2015.
Physical Description:
XIII, 339 p. 140 illus., 1 illus. in color. online resource.
Series:
Texts in Theoretical Computer Science. An EATCS Series,
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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-662-47967-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 518487-1001 | XX(518487.1) | Searching... | Searching... |