Application and Theory of Petri Nets 1993

1. Front Matter

   PDF

2. Modeling and enactment of workflow systems

   • Clarence A. Ellis, Gary J. Nutt

   Pages 1-16

3. Interleaving functional and performance structural analysis of net models

   • Manuel Silva

   Pages 17-23

4. FSPNs: Fluid stochastic Petri nets

   • Kishor S. Trivedi, Vidyadhar G. Kulkarni

   Pages 24-31

5. Taking advantages of temporal redundancy in High Level Petri Nets implementations

   • J. A. Bañares, P. R. Muro-Medrano, J. L. Villarroel

   Pages 32-48

6. A subset of Lotos with the computational power of Place/Transition-nets

   • Michel Barbeau, Gregor v. Bochmann

   Pages 49-68

7. An efficient algorithm for finding structural deadlocks in colored Petri nets

   • K. Barkaoui, C. Dutheillet, S. Haddad

   Pages 69-88

8. Synthesis of net systems

   • Luca Bernardinello

   Pages 89-105

9. Hierarchies in colored GSPNs

   • Peter Buchholz

   Pages 106-125

10. Variable reasoning and analysis about uncertainty with fuzzy Petri nets

    • Tiehua Cao, Arthur C. Sanderson

    Pages 126-145

11. Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency

    • Giovanni Chiola, Alois Ferscha

    Pages 146-165

12. Transient analysis of deterministic and stochastic Petri nets

    • Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi

    Pages 166-185

13. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs

    • Søren Christensen, Niels Damgaard Hansen

    Pages 186-205

14. Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems

    • Yi Deng, S. K. Chang, Jorge C. A. de Figueired, Angelo Perkusich

    Pages 206-223

15. Shortest paths in reachability graphs

    • Jörg Desel, Javier Esparza

    Pages 224-241

16. Construction of S-invariants and S-components for refined Petri boxes

    • Raymond Devillers

    Pages 242-261

17. Compositional liveness properties of EN-systems

    • D. Gomm, E. Kindler, B. Paech, R. Walter

    Pages 262-281

18. Analysis of place/transition nets with timed arcs and its application to batch process control

    • Hans-Michael Hanisch

    Pages 282-299

19. On well-formed nets and optimizations in enabling tests

    • Jean-Michel Ilié, Omar Rojas

    Pages 300-318

20. Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net

    • Peter Kemper

    Pages 319-338

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.

• Colored Petri Nets
• Concurrency
• Gefärbte Petri-Netze
• Petri Net Models
• Petri-Netz-Modelle
• Stochastic Petri Nets
• Stochastische Petri-Netze
• Timed Petri Nets
• Zeitabhängige Petri-Netze
• modeling
• petri net
• algorithm analysis and problem complexity

Policies and ethics