Application and Theory of Petri Nets 1997

1. Front Matter

   PDF

2. Model checking LTL using constraint programming

   • Javier Esparza, Stephan Melzer

   Pages 1-20

3. On the composition of timed systems

   • Joseph Sifakis

   Pages 21-22

4. Some issues about Petri net application to manufacturing and process supervisory control

   • Robert Valette

   Pages 23-41

5. On the abstraction of coloured Petri Nets

   • Charles Lakos

   Pages 42-61

6. Life-cycle inheritance

   • W. M. P. van der Aalst, T. Basten

   Pages 62-81

7. Multi-agent-systems based on coloured Petri nets

   • Daniel Moldt, Frank Wienberg

   Pages 82-101

8. On the complexity of the linear-time μ-calculus for Petri Nets

   • Peter Habermehl

   Pages 102-116

9. Improved implementations via a new structural equivalence on labeled nets

   • Wojciech Fraczak, Elisabeth Pelz

   Pages 117-135

10. Time processes for time Petri nets

    • Tuomas Aura, Johan Lilius

    Pages 136-155

11. Timed Petri nets and temporal linear logic

    • Makoto Tanabe

    Pages 156-174

12. Efficient handling of Phase-type distributions in generalized stochastic Petri nets

    • Serge Haddad, Patrice Moreaux, Giovanni Chiola

    Pages 175-194

13. Petri's axioms of concurrency a selection of recent results

    • Olaf Kummer, Mark -Oliver Stehr

    Pages 195-214

14. Analysis of Petri nets with a dynamic priority method

    • Falko Bause

    Pages 215-234

15. A compositional partial order semantics for Petri net components

    • Ekkart Kindler

    Pages 235-252

16. Covering step graph preserving failure semantics

    • François Vernadat, François Michel

    Pages 253-270

17. Siphons, traps and high-level nets with infinite color domains

    • Karsten Schmidt

    Pages 271-289

18. Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course

    • Søren Christensen, Kjeld H. Mortensen

    Pages 290-309

19. Transition systems of Elementary Net Systems with inhibitor arcs

    • Marta Pietkiewicz-Koutny

    Pages 310-327

20. Coupling asynchrony and interrupts: Place Chart Nets

    • Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alex Yakovlev

    Pages 328-347

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

• Gefärbte Petri-Netze
• Netzwerkbetrieb
• Petri nets
• Petri-Netze
• Workflow-Management
• colored Petri nets
• graph theory
• logic
• network scheduling
• petri net
• workflow management
• combinatorics

Policies and ethics