Application And Theory Of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings by Susanna DonatelliApplication And Theory Of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings by Susanna Donatelli

Application And Theory Of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg…

EditorSusanna Donatelli, Jetty Kleijn

Paperback

Pricing and Purchase Info

$154.95

Earn 775 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Application And Theory Of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg…Format:PaperbackDimensions:872 pages

The following ISBNs are associated with this title:

ISBN - 10:3540661328

ISBN - 13:9783540661320

Look for similar items by category:

Reviews

Table of Contents

Design, Simulation, and Implementation of Hybrid Systems.- Efficient Reachability Set Generation and Storage Using Decision Diagrams.- Structural Methods to Improve the Symbolic Analysis of Petri Nets.- Stubborn Sets for Standard Properties.- Petri Net Based Behavioural Specification of CORBA Systems.- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes.- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems.- Autonomous Continuous P/T Systems.- An Approach to the Analysis of Interworking Traders.- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets.- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.- Monitoring Discrete Event Systems Using Petri Net Embeddings.- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets.- Theoretical Aspects of Recursive Petri Nets.- Petri Net Theory - Problems Solved by Commutative Algebra.- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem.- Net Theory and Workflow Models.- Concurrent Implementation of Asynchronous Transition Systems.- Trace Channel Nets.- Reasoning about Algebraic Generalisation of Petri Nets.- The Box Algebra -; A Model of Nets and Process Expressions.- Detection of Illegal Behaviours Based on Unfoldings.- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets.- Verifying Intuition - ILF Checks DAWN Proofs.