5394575
9783540714644
Introduction.- 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.Karatkevich, Andrei is the author of 'Dynamic Analysis of Petri Net-Based Discrete Systems ', published 2007 under ISBN 9783540714644 and ISBN 3540714642.
[read more]