Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets 2000

21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Mogens Nielsen

    1. Department of Computer Science, University of Aarhus, Aarhus C, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dan Simpson

    1. University of Brighton, Brighton, East Sussex, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1825)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Papers

    1. Hardware and Petri Nets Application to Asynchronous Circuit Design

      • Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev
      Pages 1-15

    2. Region Based Synthesis of P/T-Nets and Its Potential Applications

      • Philippe Darondeau
      Pages 16-23

    3. UML — A Universal Modeling Language?

      • Gregor Engels, Reiko Heckel, Stefan Sauer
      Pages 24-38

    4. Verification of Timed and Hybrid Systems

      • Kim Guldstrand Larsen
      Pages 39-42

  3. Full Papers

    1. Parametric Stochastic Well-Formed Nets and Compositional Modelling

      • Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
      Pages 43-62

    2. Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets

      • Eike Best, Harro Wimmel
      Pages 63-82

    3. Executing Transactions in Zero-Safe Nets

      • Roberto Bruni, Ugo Montanari
      Pages 83-102

    4. Efficient Symbolic State-Space Construction for Asynchronous Systems

      • Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
      Pages 103-122

    5. Designing a LTL Model-Checker Based on Unfolding Graphs

      • Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
      Pages 123-145

    6. Process Semantics of Petri Nets over Partial Algebra

      • Jörg Desel, Gabriel Juhás, Robert Lorenz
      Pages 146-165

    7. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets

      • Mohammed Elkoutbi, Rudolf K. Keller
      Pages 166-186

    8. Decidability of Properties of Timed-Arc Petri Nets

      • David de Frutos Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
      Pages 187-206

    9. Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets

      • Steven Gordon, Jonathan Billington
      Pages 207-226

    10. Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets

      • Kevin X. He, Michael D. Lemmon
      Pages 227-243

    11. Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol

      • Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi
      Pages 244-260

    12. Process Semantics of P/T-Nets with Inhibitor Arcs

      • Jetty Kleijn, Maciej Koutny
      Pages 261-281

    13. Improved Question-Guided Stubborn Set Methods for State Properties

      • Lars Michael Kristensen, Antti Valmari
      Pages 282-302

    14. A Compositional Model of Time Petri Nets

      • Maciej Koutny
      Pages 303-322

    15. Composing Abstractions of Coloured Petri Nets

      • Charles Lakos
      Pages 323-342
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Aarhus, Aarhus C, Denmark

    Mogens Nielsen

  • University of Brighton, Brighton, East Sussex, UK

    Dan Simpson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation