Application and Theory of Petri Nets 1999: 20th International Conference, Icatpn '99, Williamsburg, Virginia, Usa, June 21-25, 1999, Proceedings

by Donatelli, Susanna; Kleijn, Jetty

• ISBN13: 9783540661320
• ISBN10: 3540661328
• Format: Paperback
• Copyright: 1999-07-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June 1999.The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art research results on all current aspects of Petri nets as well as advanced applications in a variety of areas.

Table of Contents

Design, Simulation, and Implementation of Hybrid Systems	1	(6)
P. Varaiya
Efficient Reachability Set Generation and Storage Using Decision Diagrams	6	(20)
A. S. Miner
G. Ciardo
Structural Methods to Improve the Symbolic Analysis of Petri Nets	26	(20)
E. Pastor
J. Cortadella
M.A. Pena
Stubborn Sets for Standard Properties	46	(20)
K. Schmidt
Petri Net Based Behavioural Specification of CORBA Systems	66	(20)
R. Bastide
P. Palanque
O. Sy
D.-H. Le
D. Navarre
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes	86	(20)
O. Kummer
D. Moldt
F. Wienberg
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems	106	(1)
B. H. Krogh
Autonomous Continuous P/T Systems	107	(20)
L. Recalde
E. Teruel
M. Silva
An Approach to the Analysis of Interworking Traders	127	(20)
A. Tokmakoff
J. Billington
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets	147	(21)
S. Allmaier
D. Kreische
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation	168	(20)
L. Capra
R. Gaeta
O. Botti
Monitoring Discrete Event Systems Using Petri Net Embeddings	188	(20)
C. N. Hadjicostis
G. C. Verghese
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets	208	(20)
M. Sgroi
L. Lavagno
Y. Watanabe
A. Sangiovanni-Vincentelli
Theoretical Aspects of Recursive Petri Nets	228	(20)
S. Haddad
D. Poitrenaud
Petri Net Theory - Problems Solved by Commutative Algebra	248	(20)
C. Schneider
J. Wehler
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem	268	(14)
P. Chrzastowski-Wachtel
Net Theory and Workflow Models	282	(2)
G. De Michelis
Concurrent Implementation of Asynchronous Transition Systems	284	(20)
W. Vogler
Trace Channel Nets	304	(20)
J. Fanchon
Reasoning about Algebraic Generalisation of Petri Nets	324	(20)
G. Juhas
The Box Algebra - A Model of Nets and Process Expressions	344	(20)
E. Best
R. Devillers
M. Koutny
Detection of Illegal Behaviours Based on Unfoldings	364	(20)
J.-M. Couvreur
D. Poitrenaud
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets	384	(20)
T.-Y. Cheung
Y. Lu
Verifying Intuition - ILF Checks DAWN Proofs	404	(21)
T. Baar
E. Kindler
H. Volzer
Author Index	425