Amazon cover image
Image from Amazon.com

Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999 proceedings / Susanna Donatelli, Jetty Kleijn (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 1639.Publication details: Berlin ; London : Springer, ©1999.Description: 1 online resource (viii, 423 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540487456
  • 354048745X
Subject(s): Genre/Form: Additional physical formats: Print version:International Conference on Applications and Theory of Petri Nets (20th : 1999 : Williamsburg, Va.).: Application and theory of petri nets 1999.DDC classification:
  • 511.3 21
LOC classification:
  • QA267
Other classification:
  • 54.10
  • PN 95
  • SS 1999
  • SS 4800
  • ST 130
  • ST 132
  • 28
  • DAT 516f
Online resources:
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.
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

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.

Powered by Koha