Donatelli / Kleijn Application and Theory of Petri Nets 1999

20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-48745-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 1639, 432 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Donatelli, Susanna

Kleijn, Jetty

Inhaltsverzeichnis

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.