Application and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June 25-29, 2001 , proceedings

Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings
Author: Mogens Nielsen, Dan Simpson
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67693-5
DOI: 10.1007/3-540-44988-4

Table of Contents:

• 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
• 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

Includes bibliographical references and index