Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev (auth.), Mogens Nielsen, Dan Simpson (eds.)3540676937, 9783540676935

This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000.
The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers address all current aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks, etc. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, colored Petri nets, P/T nets, and timed Petri nets.

---

Table of contents :
Hardware and Petri Nets Application to Asynchronous Circuit Design….Pages 1-15
Region Based Synthesis of P/T-Nets and Its Potential Applications….Pages 16-23
UML — A Universal Modeling Language?….Pages 24-38
Verification of Timed and Hybrid Systems….Pages 39-42
Parametric Stochastic Well-Formed Nets and Compositional Modelling….Pages 43-62
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets….Pages 63-82
Executing Transactions in Zero-Safe Nets….Pages 83-102
Efficient Symbolic State-Space Construction for Asynchronous Systems….Pages 103-122
Designing a LTL Model-Checker Based on Unfolding Graphs….Pages 123-145
Process Semantics of Petri Nets over Partial Algebra….Pages 146-165
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets….Pages 166-186
Decidability of Properties of Timed-Arc Petri Nets….Pages 187-206
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets….Pages 207-226
Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets….Pages 227-243
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol….Pages 244-260
Process Semantics of P/T-Nets with Inhibitor Arcs….Pages 261-281
Improved Question-Guided Stubborn Set Methods for State Properties….Pages 282-302
A Compositional Model of Time Petri Nets….Pages 303-322
Composing Abstractions of Coloured Petri Nets….Pages 323-342
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets….Pages 346-366
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System….Pages 367-386
Pre- and Post-agglomerations for LTL Model Checking….Pages 387-408
Bisimulation and the Reduction of Petri Nets….Pages 409-423
Efficiency of Asynchronous Systems That Communicate Asynchronously….Pages 424-444
CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers….Pages 445-454
Ex Spect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets….Pages 455-464
LoLA A Low Level Analyser….Pages 465-474
Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool….Pages 475-484