21. ICATPN 2000: Aarhus, Denmark

Mogens Nielsen, Dan Simpson (Eds.): Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Lecture Notes in Computer Science 1825 Springer 2000, ISBN 3-540-67693-7 BibTeX

@proceedings{DBLP:conf/apn/2000,
  editor    = {Mogens Nielsen and
               Dan Simpson},
  title     = {Application and Theory of Petri Nets 2000, 21st International
               Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1825},
  year      = {2000},
  isbn      = {3-540-67693-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Full Papers

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