Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings

Clarence A. Ellis, Gary J. Nutt (auth.), Marco Ajmone Marsan (eds.)3540568638, 9783540568636

This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, “Modeling and enactment of workflow systems” (C.A. Ellis, G.J. Nutt), “Interleaving functional and performance structural analysis of net models” (M. Silva), and “FSPNs: fluid stochastic Petri nets” (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers.

---

Table of contents :
Modeling and enactment of workflow systems….Pages 1-16
Interleaving functional and performance structural analysis of net models….Pages 17-23
FSPNs: Fluid stochastic Petri nets….Pages 24-31
Taking advantages of temporal redundancy in High Level Petri Nets implementations….Pages 32-48
A subset of Lotos with the computational power of Place/Transition-nets….Pages 49-68
An efficient algorithm for finding structural deadlocks in colored Petri nets….Pages 69-88
Synthesis of net systems….Pages 89-105
Hierarchies in colored GSPNs….Pages 106-125
Variable reasoning and analysis about uncertainty with fuzzy Petri nets….Pages 126-145
Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency….Pages 146-165
Transient analysis of deterministic and stochastic Petri nets….Pages 166-185
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs….Pages 186-205
Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems….Pages 206-223
Shortest paths in reachability graphs….Pages 224-241
Construction of S-invariants and S-components for refined Petri boxes….Pages 242-261
Compositional liveness properties of EN-systems….Pages 262-281
Analysis of place/transition nets with timed arcs and its application to batch process control….Pages 282-299
On well-formed nets and optimizations in enabling tests….Pages 300-318
Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net….Pages 319-338
Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model….Pages 339-356
Marking optimization of stochastic timed event graphs….Pages 357-376
A client-server protocol for the composition of Petri nets….Pages 377-396
Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks….Pages 397-414
Liveness and home states in equal conflict systems….Pages 415-432
Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling….Pages 433-452
Interval timed coloured petri nets and their analysis….Pages 453-472
Integration of specification for modeling and specification for system design….Pages 473-492
New priority-lists for scheduling in timed Petri nets….Pages 493-512
A unified approach for reasoning about conflict-free Petri nets….Pages 513-531
A colored Petri Net model for a naval command and control system….Pages 532-541
Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application….Pages 542-551
On net modeling of industrial size concurrent systems….Pages 552-561
Analysis of the TMS320C40 communication channels using timed Petri Nets….Pages 562-571
Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN….Pages 572-581
Petri Nets modeling in pipelined microprocessor design….Pages 582-591