Cover image for Petri Net Synthesis
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518487-1001 XX(518487.1)
Searching...

On Order