21. ICATPN 2000: Aarhus, Denmark

Invited Papers

• Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
  Hardware and Petri Nets: Application to Asynchronous Circuit Design. 1-15
  
• Philippe Darondeau:
  Region Based Synthesis of P/T-Nets and Its Potential Applications. 16-23
  
• Gregor Engels, Reiko Heckel, Stefan Sauer:
  UML - A Universal Modeling Language? 24-38
  
• Kim Guldstrand Larsen:
  Verification of Timed and Hybrid Systems. 39-42
  

Full Papers

• Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis:
  Parametric Stochastic Well-Formed Nets and Compositional Modelling. 43-62
  
• Eike Best, Harro Wimmel:
  Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. 63-82
  
• Roberto Bruni, Ugo Montanari:
  Executing Transactions in Zero-Safe Nets. 83-102
  
• Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu:
  Efficient Symbolic State-Space Construction for Asynchronous Systems. 103-122
  
• Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud:
  Designing a LTL Model-Checker Based on Unfolding Graphs. 123-145
  
• Jörg Desel, Gabriel Juhás, Robert Lorenz:
  Process Semantics of Petri Nets over Partial Algebra. 146-165
  
• Mohammed Elkoutbi, Rudolf K. Keller:
  User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. 166-186
  
• David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso:
  Decidability of Properties of Timed-Arc Petri Nets. 187-206
  
• Steven Gordon, Jonathan Billington:
  Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. 207-226
  
• Kevin X. He, Michael D. Lemmon:
  Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. 227-243
  
• Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi:
  Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. 244-260
  
• H. C. M. Kleijn, Maciej Koutny:
  Process Semantics of P/T-Nets with Inhibitor Arcs. 261-281
  
• Lars Michael Kristensen, Antti Valmari:
  Improved Question-Guided Stubborn Set Methods for State Properties. 282-302
  
• Maciej Koutny:
  A Compositional Model of Time Petri Nets. 303-322
  
• Charles Lakos:
  Composing Abstractions of Coloured Petri Nets. 323-345
  
• Louise Lorentsen, Lars Michael Kristensen:
  Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. 346-366
  
• Kjeld Høyer Mortensen:
  Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. 367-386
  
• Denis Poitrenaud, Jean-François Pradat-Peyre:
  Pre- and Post-agglomerations for LTL Model Checking. 387-408
  
• Ph. Schnoebelen, Natalia Sidorova:
  Bisimulation and the Reduction of Petri Nets. 409-423
  
• Walter Vogler:
  Efficiency of Asynchronous Systems That Communicate Asynchronously. 424-444
  
• Jochen Beister, Gernot Eckstein, Ralf Wollowski:
  CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers. 445-454
  
• Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn:
  Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. 455-464
  
• Karsten Schmidt:
  LoLA: A Low Level Analyser. 465-474
  
• H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst:
  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. 475-484