Abstract is missing.
- Model Checking LTL Using Constraint ProgrammingJavier Esparza, Stephan Melzer. 1-20
- On the Composition of Timed SystemsJoseph Sifakis. 21-22
- Some Issues About Petri Net Application to Manufacturing and Process Supervisory ControlRobert Valette. 23-41
- On the Abstraction of Coloured Petri NetsCharles Lakos. 42-61
- Life-Cycle Inheritance: A Petri-Net-Based ApproachWil M. P. van der Aalst, Twan Basten. 62-81
- Multi-Agent-Systems Based on Coloured Petri NetsDaniel Moldt, Frank Wienberg. 82-101
- On the Complexity of the Linear-Time mu -calculus for Petri-NetsPeter Habermehl. 102-116
- Improved Implementations via a New Structural Equivalence on Labelled NetsWojciech Fraczak, Elisabeth Pelz. 117-135
- Time Processes for Time Petri-NetsTuomas Aura, Johan Lilius. 136-155
- Timed Petri Nets and Temporal Linear LogicMakoto Tanabe. 156-174
- Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri NetsSerge Haddad, Patrice Moreaux, Giovanni Chiola. 175-194
- Petri s Axioms of Concurrency- A Selection of Recent ResultsOlaf Kummer, Mark-Oliver Stehr. 195-214
- Analysis of Petri Nets with a Dynamic Priority MethodFalko Bause. 215-234
- A Compositional Partial Order Semantics for Petri Net ComponentsEkkart Kindler. 235-252
- Covering Step Graph Preserving Failure SemanticsFrançois Vernadat, François Michel. 253-270
- Siphons, Traps and High-Level Nets with Infinite Color DomainsKarsten Schmidt 0004. 271-289
- Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems CourseSøren Christensen, Kjeld Høyer Mortensen. 290-309
- Transition Systems of Elementary Net Systems with Inhibitor ArcsMarta Pietkiewicz-Koutny. 310-327
- Coupling Asynchrony and Interrupts: Place Chart NetsMichael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev. 328-347
- Modeling and Solving Constraint Satisfaction Problems through Petri NetsLuigi Portinale. 348-366
- Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm PropagationRenée Boubour, Claude Jard. 367-386
- Analysing Bang & Olufsen s BeoLink® Audio/Video System Using Coloured Petri NetsSøren Christensen, Jens Bæk Jørgensen. 387-406
- Verification of Workflow NetsWil M. P. van der Aalst. 407-426
- Verification of Siphons and Traps for Algebraic Petri NetsKarsten Schmidt 0004. 427-446
- Orthogonal Transformations for Coloured Petri NetsEike Best, Thomas Thielke. 447-466