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 BibTeX

@proceedings{DBLP:conf/apn/1997,
  editor    = {Pierre Az{\'e}ma and
               Gianfranco Balbo},
  title     = {Application and Theory of Petri Nets 1997, 18th International
               Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1248},
  year      = {1997},
  isbn      = {3-540-63139-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Regular Papers

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