Dynamic Analysis of Petri Net-Based Discrete Systems

• Κύριος συγγραφέας: Karatkevich, Andrei (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Control and Information Sciences, 356
• Θέματα: 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...

Πίνακας περιεχομένων:

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