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. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67693-7
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
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team