Modular construction and partial order semantics of Petri nets /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
| Σειρά: | Lecture notes in computer science ;
625. |
| Θέματα: |
Πίνακας περιεχομένων:
- 1. Introduction
- 2. Petri Nets and Their Semantics. 2.1. Basic notions of Petri nets. 2.2. Partial order semantics of nets. 2.3. Branching-time semantics of nets
- 3. Parallel Composition and Deadlocking. 3.1. Parallel composition with synchronization. 3.2. External equivalences based on deadlocking and divergence. 3.3. Modifications of failure semantics. 3.3.1. Modifications for safe nets. 3.3.2. Modifications for reachability and liveness. 3.3.3. Further modifications. 3.4. Further operators and congruence results
- 4. Behaviour Preserving Refinement of Places and Transitions. 4.1. Refinement techniques. 4.2. Deterministic nets and the refinement of places. 4.3. Composition by merging places. 4.4. I,O-nets and the refinement of transitions
- 5. Action Refinement and Interval Words. 5.1. Introduction to action refinement. 5.2. A technique of action refinement. 5.3. Action refinement and linear-time semantics. 5.4. A closer look at interval words.
- 5.5. Comparison of interval words and interval semiwords
- 6. Action Refinement and Bisimulation. 6.1. Partial orders and bisimulation. 6.2. Event structures and action refinement. 6.3. Congruence results for ST-bisimulations. 6.4. History-preserving and OM-bisimulation
- 7. Partial Order Semantics for Nets with Capacities. 7.1. Compositionality. 7.2. Complementation-invariance and capacity-orientation. 7.3. S-modification.