Dynamic Analysis of Petri Net-Based Discrete Systems

• Main Author: Karatkevich, Andrei (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Control and Information Sciences, 356
• Subjects: Engineering.; System theory.; Control engineering.; Robotics.; Mechatronics.; Control, Robotics, Mechatronics.; Systems Theory, Control.

Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the so...

Table of Contents:

• 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.