ISBN: 3-540-64677-9
TITLE: Application and Theory of Petri Nets 1998
AUTHOR: Desel, Jrg; Silva, Manuel (Eds.)
TOC:

Invited Papers 
Petri Nets as Token Objects  An Introduction to Elementary Object Nets 1 
R. Valk 
Synchronized Products of Transition Systems and Their Analysis 26 
A. Arnold 
Manual and Automatic Exploitation of Symmetries in SPN Models 28 
G. Chiola 
Full Papers 
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN 
Models 44 
M. Ajmone Marsan, C.-F. Chiasserini and A. Fumagalli 
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems 64 
J. Ezpeleta, F. Garca-Valls and J.M. Colom 
Modelling and Model Checking of Distributed Shared Memory Consistency 
Protocol 84 
K. Fisler and C. Girault 
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding 104 
L.M. Kristensen and A. Valmari 
On Stubborn Sets in the Verification of Linear Time Temporal Properties 124 
K. Varpaaniemi 
A Compositional Petri Net Semantics for SDL 144 
H. Fleischhack and B. Grahlmann 
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus 165 
M. Hesketh and M. Koutny 
Efficiency of Token-Passing MUTEX-Solutions  Some Experiments 185 
E. Bihler and W. Vogler 
Thinking in Cycles 205 
M.-O. Stehr 
Iterative Decomposition and Aggregation of Labeled GSPNs 226 
P. Buchholz 
On the Use of Structural Petri Net Analysis for Studying Product Form 
Equilibrium Distributions of Queueing Networks with Blocking 246 
M. Gribaudo and M. Sereno 
Deadlock Detection in the Face of Transaction and Data Dependencies 266 
E. Bertino, G. Chiola and L.V. Mancini 
Petri Net Based Certification of Event-Driven Process Chains 286 
P. Langner, Chr. Schneider and J. Wehler 
M-net Calculus Based Semantics for Triggers 306 
V. Benzaken, N. Hugon, H. Klaudel, E. Pelz and R.-C. Riemann 
SWN Analysis and Simulation of Large Knockout ATM Switches 326 
R. Gaeta and M. Ajmone Marsan 
Flexibility in Algebraic Nets 345 
E. Kindler and H. Vlzer 
ESTL: A Temporal Logic for Events and States 365 
E. Kindler and T. Vesper 
Author Index 385 
END
