default search action
21st ICATPN 2000: Aarhus, Denmark
- Mogens Nielsen, Dan Simpson:
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
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
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
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
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 - Philippe 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
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. 455-464 - Karsten Schmidt:
LoLA: A Low Level Analyser. 465-474 - Eric Verbeek
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. 475-484
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: