Dynamic Analysis of Petri Net-Based Discrete Systems
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 Author: | |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Series: | Lecture Notes in Control and Information Sciences,
356 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-71560-3 |
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.