Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Desel, Jörg (Editor, http://id.loc.gov/vocabulary/relators/edt), Silva, Manuel (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1420
• Subjects: Computers.; Microprocessors.; Computer communication systems.; Software engineering.; Operating systems (Computers).; Theory of Computation.; Processor Architectures.; Computer Communication Networks.; Software Engineering.; Operating Systems.

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the las...

Table of Contents:

• Invited Papers
• Petri Nets as Token Objects
• Synchronized Products of Transition Systems and Their Analysis
• Manual and Automatic Exploitation of Symmetries in SPN Models
• Full Papers
• Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models
• A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
• Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
• Finding Stubborn Sets of Coloured Petri Nets without Unfolding
• On Stubborn Sets in the Verification of Linear Time Temporal Properties
• A Compositional Petri Net Semantics for SDL
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
• Thinking in Cycles
• Iterative Decomposition and Aggregation of Labeled GSPNs
• On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
• Deadlock Detection in the Face of Transaction and Data Dependencies
• Petri Net Based Certification of Event-Driven Process Chains
• M-net Calculus Based Semantics for Triggers
• SWN Analysis and Simulation of Large Knockout ATM Switches
• Flexibility in Algebraic Nets
• ESTL: A Temporal Logic for Events and States.