Application and Theory of Petri Nets 1993

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 36 Modeling and enactment of workflow systems
3. Altmetric Badge
   Chapter 37 Interleaving functional and performance structural analysis of net models
4. Altmetric Badge
   Chapter 38 FSPNs: Fluid stochastic Petri nets
5. Altmetric Badge
   Chapter 39 Taking advantages of temporal redundancy in High Level Petri Nets implementations
6. Altmetric Badge
   Chapter 40 A subset of Lotos with the computational power of Place/Transition-nets
7. Altmetric Badge
   Chapter 41 An efficient algorithm for finding structural deadlocks in colored Petri nets
8. Altmetric Badge
   Chapter 42 Synthesis of net systems
9. Altmetric Badge
   Chapter 43 Hierarchies in colored GSPNs
10. Altmetric Badge
    Chapter 44 Variable reasoning and analysis about uncertainty with fuzzy Petri nets
11. Altmetric Badge
    Chapter 45 Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency
12. Altmetric Badge
    Chapter 46 Transient analysis of deterministic and stochastic Petri nets
13. Altmetric Badge
    Chapter 47 Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
14. Altmetric Badge
    Chapter 48 Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems
15. Altmetric Badge
    Chapter 49 Shortest paths in reachability graphs
16. Altmetric Badge
    Chapter 50 Construction of S-invariants and S-components for refined Petri boxes
17. Altmetric Badge
    Chapter 51 Compositional liveness properties of EN-systems
18. Altmetric Badge
    Chapter 52 Analysis of place/transition nets with timed arcs and its application to batch process control
19. Altmetric Badge
    Chapter 53 On well-formed nets and optimizations in enabling tests
20. Altmetric Badge
    Chapter 54 Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net
21. Altmetric Badge
    Chapter 55 Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model
22. Altmetric Badge
    Chapter 56 Marking optimization of stochastic timed event graphs
23. Altmetric Badge
    Chapter 57 A client-server protocol for the composition of Petri nets
24. Altmetric Badge
    Chapter 58 Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks
25. Altmetric Badge
    Chapter 59 Liveness and home states in equal conflict systems
26. Altmetric Badge
    Chapter 60 Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling
27. Altmetric Badge
    Chapter 61 Interval timed coloured petri nets and their analysis
28. Altmetric Badge
    Chapter 62 Integration of specification for modeling and specification for system design
29. Altmetric Badge
    Chapter 63 New priority-lists for scheduling in timed Petri nets
30. Altmetric Badge
    Chapter 64 A unified approach for reasoning about conflict-free Petri nets
31. Altmetric Badge
    Chapter 65 A colored Petri Net model for a naval command and control system
32. Altmetric Badge
    Chapter 66 Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application
33. Altmetric Badge
    Chapter 67 On net modeling of industrial size concurrent systems
34. Altmetric Badge
    Chapter 68 Analysis of the TMS320C40 communication channels using timed Petri Nets
35. Altmetric Badge
    Chapter 69 Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN
36. Altmetric Badge
    Chapter 70 Petri Nets modeling in pipelined microprocessor design