18. ICATPN 1997: Toulouse, France

Pierre Azéma, Gianfranco Balbo (Eds.): Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Lecture Notes in Computer Science 1248 Springer 1997, ISBN 3-540-63139-9

Invited Papers

Javier Esparza, Stephan Melzer: Model Checking LTL Using Constraint Programming. 1-20
Joseph Sifakis: On the Composition of Timed Systems. 21-22
Robert Valette: Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. 23-41

Regular Papers

Charles Lakos: On the Abstraction of Coloured Petri Nets. 42-61
Wil M. P. van der Aalst, Twan Basten: Life-Cycle Inheritance: A Petri-Net-Based Approach. 62-81
Daniel Moldt, Frank Wienberg: Multi-Agent-Systems Based on Coloured Petri Nets. 82-101
Peter Habermehl: On the Complexity of the Linear-Time mu -calculus for Petri-Nets. 102-116
Wojciech Fraczak, Elisabeth Pelz: Improved Implementations via a New Structural Equivalence on Labelled Nets. 117-135
Tuomas Aura, Johan Lilius: Time Processes for Time Petri-Nets. 136-155
Makoto Tanabe: Timed Petri Nets and Temporal Linear Logic. 156-174
Serge Haddad, Patrice Moreaux, Giovanni Chiola: Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. 175-194
Olaf Kummer, Mark-Oliver Stehr: Petri's Axioms of Concurrency- A Selection of Recent Results. 195-214
Falko Bause: Analysis of Petri Nets with a Dynamic Priority Method. 215-234
Ekkart Kindler: A Compositional Partial Order Semantics for Petri Net Components. 235-252
François Vernadat, François Michel: Covering Step Graph Preserving Failure Semantics. 253-270
Karsten Schmidt: Siphons, Traps and High-Level Nets with Infinite Color Domains. 271-289
Søren Christensen, Kjeld Høyer Mortensen: Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. 290-309
Marta Pietkiewicz-Koutny: Transition Systems of Elementary Net Systems with Inhibitor Arcs. 310-327
Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. 328-347
Luigi Portinale: Modeling and Solving Constraint Satisfaction Problems through Petri Nets. 348-366
Renée Boubour, Claude Jard: Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. 367-386
Søren Christensen, Jens Bæk Jørgensen: Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. 387-406
Wil M. P. van der Aalst: Verification of Workflow Nets. 407-426
Karsten Schmidt: Verification of Siphons and Traps for Algebraic Petri Nets. 427-446
Eike Best, Thomas Thielke: Orthogonal Transformations for Coloured Petri Nets. 447-466