Application and Theory of Petri Nets 1998

1. Front Matter

   Pages I-VIII

   PDF

2. Invited Papers

   1. Petri Nets as Token Objects

      • Rüdiger Valk

      Pages 1-24

   2. Synchronized Products of Transition Systems and Their Analysis

      • Andr` Arnold

      Pages 26-27

   3. Manual and Automatic Exploitation of Symmetries in SPN Models

      • Giovanni Chiola

      Pages 28-43

3. Full Papers

   1. Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models

      • Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli

      Pages 44-63

   2. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

      • J. Ezpeleta, F. García-Vallés, J. M. Colom

      Pages 64-83

   3. Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

      • Kathi Fisler, Claude Girault

      Pages 84-103

   4. Finding Stubborn Sets of Coloured Petri Nets without Unfolding

      • Lars Michael Kristensen, Antti Valmari

      Pages 104-123

   5. On Stubborn Sets in the Verification of Linear Time Temporal Properties

      • Kimmo Varpaaniemi

      Pages 124-143

   6. A Compositional Petri Net Semantics for SDL

      • Hans Fleischhack, Bernd Grahlmann

      Pages 144-164

   7. An Axiomatisation of Duplication Equivalence in the Petri Box Calculus

      • Martin Hesketh, Maciej Koutny

      Pages 165-184

   8. Efficiency of Token-Passing MUTEX-Solutions — Some Experiments

      • Elmar Bihler, Walter Vogler

      Pages 185-204

   9. Thinking in Cycles

      • Mark-Oliver Stehr

      Pages 205-225

   10. Iterative Decomposition and Aggregation of Labeled GSPNs

       • Peter Buchholz

       Pages 226-245

   11. On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking

       • Marco Gribaudo, Matteo Sereno

       Pages 246-265

   12. Deadlock Detection in the Face of Transaction and Data Dependencies

       • E. Bertino, G. Chiola, L. V. Mancini

       Pages 266-285

   13. Petri Net Based Certification of Event-Driven Process Chains

       • Peter Langner, Christoph Schneider, Joachim Wehler

       Pages 286-305

   14. M-net Calculus Based Semantics for Triggers

       • Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann

       Pages 306-325

   15. SWN Analysis and Simulation of Large Knockout ATM Switches

       • Rossano Gaeta, Marco Ajmone Marsan

       Pages 326-344

   16. Flexibility in Algebraic Nets

       • Ekkart Kindler, Hagen Völzer

       Pages 345-364

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 last week of June. Typically there are 150 - 200 participants. About one third of these come from industry while the rest are from universities and research institutions. The conferences and a number of other activities are coordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Australia), G. DeMichelis(Italy),C. Girault(France),K. Jensen (Denmark), S. Kumagai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), M. Silva (Spain). The 19th conference has been organized for the rst time in Portugal, by the Department of Electrical Engineering of the Faculty of Sciences and Technology of the New University of Lisbon, together with the Center for Intelligent Robotics of UNINOVA. It takes place in Lisbon at the same time as EXPO’98, the last world exhibition of the 20th century.

• ATM
• Colored Petri Nets
• Networking
• Petri Nets
• Process Management
• Program Semantics
• model checking
• network
• petri net
• semantics

• Institut AIFB, University of Karlsruhe, Karlsruhe, Germany

  Jörg Desel

• Departamento de Informatica a Ingenieria de Sistemas Centro Politecnico Superior, Universidad de Zaragoza, Zaragoza, Spain

  Manuel Silva

Policies and ethics