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
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
Copyright © Sat May 16 22:58:13 2009
by Michael Ley (ley@uni-trier.de)