default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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, 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 - 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, 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 - Eric Verbeek, Wil M. P. van der Aalst:
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-02-15 00: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:
