Dynamic Analysis of Petri Net-Based Discrete Systems [electronic resource] /by Andrei Karatkevich.
by Karatkevich, Andrei [author.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Control and Information Sciences: 356Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Description: XIII, 166 p. Also available online. online resource.ISBN: 9783540715603.Subject(s): Engineering | Systems theory | Engineering | Control Engineering | Systems Theory, ControlOnline resources: Click here to access online
Contents:
In:
Springer eBooks
Main Notions, Problems and Methods -- Reduced Reachability Graphs -- Decomposition for Analysis -- Analysis by Solving Logical Equations — Calculation of Siphons and Traps -- Verification of Detailed System Descriptions -- Conclusion.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
Main Notions, Problems and Methods -- Reduced Reachability Graphs -- Decomposition for Analysis -- Analysis by Solving Logical Equations — Calculation of Siphons and Traps -- Verification of Detailed System Descriptions -- Conclusion.
There are no comments for this item.