Overview

This book constitutes the refereed proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001, held in Newcastle upon Tyne, UK in June 2001. The 19 revised full papers presented together with three invited papers were carefully reviewed and selected from 48 submissions. All current issues on research and development of Petri nets are addressed, in particular timed, stochastic, colored, symmetrical, and high-level Petri nets; formal verification, model checking, embedded systems, real-time systems, dependable computing, and state spaces.

Full Product Details

Author:   Jose-Manuel Colom ,  Maciej Koutny
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2001 ed.
Volume:   2075
Dimensions:   Width: 15.50cm , Height: 2.10cm , Length: 23.50cm
Weight:   1.290kg
ISBN:  

9783540422525

ISBN 10:   3540422528
Pages:   408
Publication Date:   13 June 2001
Audience:   College/higher education ,  Professional and scholarly ,  Tertiary & Higher Education ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Invited Papers.- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?.- The Flux of Interaction.- Towards a Notion of Distributed Time for Petri Nets.- Full Papers.- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.- Timed Petri Nets and BQOs.- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems.- Condensed State Spaces for Timed Petri Nets.- Unfolding of Products of Symmetrical Petri Nets.- partial Order Verification of Programmable Logic Controllers.- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.- Modelling the Structure and Behaviour of Petri Net Agents.- Modelling the Structure and Behaviour of Petri Net Agents.- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.- Incremental State Space Construction for Coloured Petri Nets.- Incremental State Space Construction for Coloured Petri Nets.- Optimising Enabling Tests and Unfoldings of Algebraic System Nets.- Optimising Enabling Tests and Unfoldings of Algebraic System Nets.- Extending the Petri Box Calculus with Time.- Extending the Petri Box Calculus with Time.- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems.- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems.- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.- Partial S-Invariants for the Verification of Infinite Systems Families.- Partial S-Invariants for the Verification of Infinite Systems Families.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions