+612 9045 4394
 
CHECKOUT
Application and Theory of Petri Nets 1999 : 20th International Conference, Icatpn'99, Williamsburg, Virginia, Usa, June 21-25, 1999 Proceedings - Susanna Donatelli

Application and Theory of Petri Nets 1999

20th International Conference, Icatpn'99, Williamsburg, Virginia, Usa, June 21-25, 1999 Proceedings

By: Susanna Donatelli (Editor), Jetty Kleijn (Editor)

Paperback

Published: 9th June 1999
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more

This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. Typically there are some 150-200 participants and usually one third of these come from industry, while the rest are from universities and research institutions. The conferences and a number of other activitiesare co- dinatedbyasteering committeeformedby: G.Balbo (Italy), J. Billington(A- tralia), C. Girault (France), K. Jensen (Denmark), S. Kumagai (Japan), G. De Michelis (Italy), T. Murata (U.S.A.), C.A. Petri (Germany; honorary member) W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chair), M. Silva (Spain). The 1999 Petri net conference took place in Williamsburg, Virginia, and was organized by the Department of Computer Science of The College of William and Mary, Williamsburg. This was the second time the conference had been organized in the United States. We received 45 submissions from 15 countries on 5 continents of which 21 accepted for presentation. The submitted papers were evaluated by a program committee with the following members: W. van der Aalst (The Netherlands), P. Azema (France), W. Brauer (Germany), S. Christensen (Denmark), A. Desrochers (U.S.A.), S. Donatelli (Italy; co-chair), C. Girault (France), L. Gomes (Portugal), J. Hillston (United Kingdom), E.

Design, Simulation, and Implementation of Hybrid Systemsp. 1
Efficient Reachability Set Generation and Storage Using Decision Diagramsp. 6
Structural Methods to Improve the Symbolic Analysis of Petri Netsp. 26
Stubborn Sets for Standard Propertiesp. 46
Petri Net Based Behavioural Specification of CORBA Systemsp. 66
Symmetric Communication between Coloured Petri Net Simulations and Java-Processesp. 86
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systemsp. 106
Autonomous Continuous P/T Systemsp. 107
An Approach to the Analysis of Interworking Tradersp. 127
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Netsp. 147
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automationp. 168
Monitoring Discrete Event Systems Using Petri Net Embeddingsp. 188
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Netsp. 208
Theoretical Aspects of Recursive Petri Netsp. 228
Petri Net Theory - Problems Solved by Commutative Algebrap. 248
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problemp. 268
Net Theory and Workflow Modelsp. 282
Concurrent Implementation of Asynchronous Transition Systemsp. 284
Trace Channel Netsp. 304
Reasoning about Algebraic Generalisation of Petri Netsp. 324
The Box Algebra - A Model of Nets and Process Expressionsp. 344
Detection of Illegal Behaviours Based on Unfoldingsp. 364
Five Classes of Invariant-Preserving Transformations on Colored Petri Netsp. 384
Verifying Intuition - ILF Checks DAWN Proofsp. 404
Author Indexp. 425
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540661320
ISBN-10: 3540661328
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 432
Published: 9th June 1999
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.26
Weight (kg): 0.61