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

by International Conference on Applications and Theory of Petri Nets (21st : 2000 : Aarhus, Denmark); Simpson, Dan

• ISBN13: 9783540676935
• ISBN10: 3540676937
• Format: Paperback
• Copyright: 2000-07-01
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99, held in Bologna, Italy, in September 1999.The 33 revised full papers presented were carefully reviewed and selected for inclusion in the book from a total of 64 congress submissions. The papers are organized in topical sections on knowledge representation; automated reasoning; temporal and qualitative reasoning; machine learning, data mining, and theory revision; natural language processing and web interfaces; multi-agent systems; perception and robotics; and planning and scheduling.

Table of Contents

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