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

ISBN-13: 9783540676935 / Angielski / Miękka / 2000 / 492 str.

Mogens Nielsen;Dan Simpson

Opis

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 presentations were carefully reviewed and selected from 57 submissions. The papers address various 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. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, coloured Petri nets, P/T nets, and timed Petri nets.

Spis treści

Invited Papers.- Hardware and Petri Nets Application to Asynchronous Circuit Design.- Region Based Synthesis of P/T-Nets and Its Potential Applications.- UML — A Universal Modeling Language?.- Verification of Timed and Hybrid Systems.- Full Papers.- Parametric Stochastic Well-Formed Nets and Compositional Modelling.- Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets.- Executing Transactions in Zero-Safe Nets.- Efficient Symbolic State-Space Construction for Asynchronous Systems.- Designing a LTL Model-Checker Based on Unfolding Graphs.- Process Semantics of Petri Nets over Partial Algebra.- User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets.- Decidability of Properties of Timed-Arc Petri Nets.- Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.- Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets.- Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.- Process Semantics of P/T-Nets with Inhibitor Arcs.- Improved Question-Guided Stubborn Set Methods for State Properties.- A Compositional Model of Time Petri Nets.- Composing Abstractions of Coloured Petri Nets.- Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets.- Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System.- Pre- and Post-agglomerations for LTL Model Checking.- Bisimulation and the Reduction of Petri Nets.- Efficiency of Asynchronous Systems That Communicate Asynchronously.- Tools Presentations.- CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers.- ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets.- LoLA A Low Level Analyser.- Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool.