Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings

393 Pages·1998·6.579 MB·English

by  Rüdiger Valk (auth.), Jörg Desel, Manuel Silva (eds.)

L e c t u r e N o t e s i n C o m p u t e r S c i e n c e 1 4 2 0
E d i t e d b y G . G o o s , J . H a r t m a n i s a n d J . v a n L e e u w e n
3
B e r lin
H e id e lb e r g
N e w Y o r k
B a r c e lo n a
B u d a p e s t
H o n g K o n g
L o n d o n
M ila n
P a r is
S in g a p o r e
T o k y o
J o¨ r g D e s e l M a n u e l S i l v a ( E d s . )
A p p l i c a t i o n a n d T h e o r y
o f P e t r i N e t s 1 9 9 8
1 9 t h I n t e r n a t i o n a l C o n f e r e n c e , I C A T P N ’ 9 8
L i s b o n , P o r t u g a l , J u n e 2 2 - 2 6 , 1 9 9 8
P r o c e e d i n g s
1 3
S e r ie s E d ito r s
G e r h a r d G o o s , K a r ls r u h e U n iv e r s ity , G e r m a n y
J u r is H a r tm a n is , C o r n e ll U n iv e r s ity , N Y , U S A
J a n v a n L e e u w e n , U tr e c h t U n iv e r s ity , T h e N e th e r la n d s
V o lu m e E d ito r s
J o¨ rg D e s e l
I n s titu t A I F B , U n iv e r s ity o f K a r ls r u h e
D - 7 6 1 2 8 K a r ls r u h e , G e r m a n y
E - m a il: d e s e l@ a if b .u n i- k a r ls r u h e .d e
M a n u e l S ilv a
D e p a r ta m e n to d e I n f o r m a tic a a I n g e n ie r ia d e S is te m a s
C e n tr o P o lite c n ic o S u p e r io r, U n iv e r s id a d d e Z a r a g o z a
c / M a r ia d e L u n a , 3 , E - 5 0 0 1 5 Z a r a g o z a , S p a in
E - m a il: s ilv a @ p o s ta .u n iz a r.e s
C a ta lo g in g - in - P u b lic a tio n d a ta a p p lie d f o r
D ie D e u ts c h e B ib lio th e k - C I P - E in h e its a u f n a h m e
A p p lic a t io n a n d t h e o r y o f P e t r i n e t s 1 9 9 8 : 1 9 th in te r n a tio n a l c o n f e r e n c e ;
p r o c e e d in g s / I C A T P N ’ 9 8 , L is b o n , P o r tu g a l, J u n e 2 2 - 2 6 , 1 9 9 8 . J o¨ rg D e s e l ;
M a n u e l S ilv a ( e d .) . - B e r lin ; H e id e lb e rg ; N e w Y o r k ; B a r c e lo n a ; B u d a p e s t ;
H o n g K o n g ; L o n d o n ; M ila n ; P a r is ; S a n ta C la r a ; S in g a p o r e ; T o k y o :
S p r in g e r, 1 9 9 8
( L e c tu r e n o te s in c o m p u te r s c ie n c e ; V o l. 1 4 2 0 )
I S B N 3 - 5 4 0 - 6 4 6 7 7 - 9
C R S u b je c t C la s s ifi c a tio n ( 1 9 9 1 ) : F .1 - 3 , C .1 - 2 , G .2 .2 , D .4 , J .4
I S S N 0 3 0 2 - 9 7 4 3
I S B N 3 - 5 4 0 - 6 4 6 7 7 - 9 S p r in g e r- V e r la g B e r lin H e id e lb e rg N e w Y o r k
T h is w o rk is su b je c t to c o p y rig h t. A ll rig h ts a re re se rv e d , w h e th e r th e w h o le o r p a rt o f th e m a te ria l is
c o n c e rn e d , sp e c ifi c a lly th e rig h ts o f tra n sla tio n , re p rin tin g , re -u se o f illu stra tio n s, re c ita tio n , b ro a d c a stin g ,
re p ro d u c tio n o n m ic ro fi lm s o r in a n y o th e r w a y , a n d sto ra g e in d a ta b a n k s. D u p lic a tio n o f th is p u b lic a tio n
o r p a rts th e re o f is p e rm itte d o n ly u n d e r th e p ro v isio n s o f th e G e rm a n C o p y rig h t L a w o f S e p te m b e r 9 , 1 9 6 5 ,
in its c u rre n t v e rsio n , a n d p e rm issio n fo r u se m u st a lw a y s b e o b ta in e d fro m S p rin g e r-V e rla g . V io la tio n s a re
lia b le fo r p ro se c u tio n u n d e r th e G e rm a n C o p y rig h t L a w .
(cid:2)c S p rin g e r-V e rla g B e rlin H e id e lb e rg 1 9 9 8
P rin te d in G e rm a n y
T y p e se ttin g : C a m e ra -re a d y b y a u th o r
S P IN 1 0 6 3 7 4 3 5 0 6 /3 1 4 2 – 5 4 3 2 1 0 P rin te d o n a c id -fre e p a p e r
Preface
This volume contains the proceedings of the 19th annual International Conference on
Applicationand TheoryofPetriNets.TheaimofthePetrinetconference istocreate
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 -
200participants. About one third ofthese come fromindustry whiletherest 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 first 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. Although this exhibition is devoted to the Oceans,
thiscoincidence should not feed themisunderstanding that Petrinetshave to do with
fishing!
Other activities before and during the conference include: an exhibition and pre-
sentationofPetrinettools;introductorytutorials;twoadvanced tutorialsonthestate
space explosion problem and on Petri nets and production systems; a workshop on
net-based concepts, models, techniques, and tools for workflow management; and a
workshop on hardware design and Petri nets. The tutorial notes and proceedings of
theworkshops arenotpublishedintheseproceedings butcopiesareavailablefromthe
organizers.
Wereceived58submissionsfrom18countriesand17havebeenacceptedforpresen-
tation.InvitedlecturesaregivenbyA.Arnold(France),G.Chiola(Italy),andR.Valk
(Germany).Thesubmittedpaperswereevaluatedbyaprogramcommitteewiththefol-
lowingmembers:G.Balbo(Italy),D.Buchs(Switzerland),G.Chiola(Italy),D.Ciardo
(USA),J.Desel(Germany;co-chair),M.Diaz(France),S.Haddad(France),K.Jensen
(Denmark),C.Lakos(Tasmania),M.Koutny(England),S.Kumagai(Japan),G.Nutt
(USA),K.Onaga (Japan), W. Penczek (Poland), L.Pomello (Italy),M. Silva (Spain;
co-chair),P.S.Thiagarajan (India),W.M.P.van der Aalst(TheNetherlands), R.Valk
(Germany),and W.Vogler(Germany).Theprogram committeemeetingtookplaceat
the NewUniversity of Lisbon.
We should like to express our gratitude to all authors of submitted papers, to
the members of the program committee, and to the referees who assisted them. The
names of the referees are listed on the following page. For the local organization of
the conference, we greatly appreciate the efforts of all members of the organizing
committee: A. Costa, A. Steiger-Gar¸ca˜o (co-chair), H. Pinheiro-Pita, J.-P. Barros,
J.-P.Piment˜ao,andLu´ısGomes(co-chair).Theorganizing committeewishestothank
Fundac¸a˜o Calouste Gulbenkian for their sponsoring, which partially supported the
publication of these proceedings.
Finally,weshould liketo acknowledge excellentcooperation with AlfredHofmann
ofSpringer-Verlag and his colleagues inthe preparation ofthis volume.
April1998 Jo¨rg Desel
Manuel Silva
List of Referees
K.Ajami J.G.Hall M.Pezz´e
M.Ajmone Marsan R.Hennicker G.M.Pinna
C.Anglano K.Hiraishi D. Poitrenaud
P.Az´ema J.S.Huang P.Racloz
C.Balzarotti J.-M.Ili´e L.Recalde
S.Barbey R.Janicki H.Reijers
L.Baresi L.Jenner M.Ribaudo
T.Basten R.L.Jones R.-C.Riemann
F.Bause G.Juanole S. R¨omer
M.Bernado G.Juhas A.Romanovsky
L.Bernardinello N.Kato N.Sabadini
E.Best K.Keddara M.Sanders
J.Billington E.Kindler M.Scarpa
F.Bobbio H.Klaudel R. Sch¨atzle
S.Brandt H.C.M.Kleijn K.Schmidt
M.Buffo B.Konikowska P.Senac
N.Busi L.M.Kristensen M.Sereno
J.Campos O.Kummer C.Simone
L.Capra K.Lautenbach E.Smith
S.Christensen D.-I.Lee L.Somers
C.Clo A.Maggiolo-Schettini M.Srebrny
J.M.Colom T.Matsumoto M.-O.Stehr
J.-P.Courtiat A.Mazurkiewicz T.Suzuki
F.De Cindio J.McWhirter K.Takahashi
G.De Michelis A.S.Miner A.Taubin
A.Diagne J.Mirkowski E.Teruel
G.Di Marzo T.Miyamoto R. van de Toorn
R.Devillers D.Moldt N.Uchihira
S.Donatelli D.Montesi T.Ushio
J.Esparza P.Moreaux J.Vachon
B.Farwer K.H.Mortensen R. Valette
G.Ferrari M.Mukund F.Vernadat
W.Fraczak T.Murata I.Vernier
G.Franceschinis M.Nakamura M.Voorhoeve
R.Gaeta P.Niebert F.Wallner
H.J.Genrich M.Nielsen R.F.C.Walters
P.Godefroid A.Ohta T.Watanabe
U.Goltz K.Onogi W. Weitz
R.Gorrieri A.Pagnoni F.Wienberg
A.Griff E.Paviot-Adet J.Winkowski
N.Guelfi E.Pelz J.van der Woude
S.Haar C.P´eraire A.Yakovlev
Table of Contents
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
Manualand Automatic Exploitationof 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 WellStructured Petri Nets for Flexible Manufacturing Systems 64
J. Ezpeleta, F. Garc´ıa-Vall´es and J.M. Colom
ModellingandModelCheckingofDistributedSharedMemoryConsistency
Protocol .......................................................... 84
K. Fisler and C. Girault
FindingStubborn 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 CompositionalPetri Net Semantics for SDL.........................144
H. Fleischhack and B. Grahlmann
An Axiomatisationof DuplicationEquivalence 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
Thinkingin Cycles .................................................205
M.-O. Stehr
Iterative Decomposition and Aggregation of Labeled GSPNs.............226
P. Buchholz
VIII Table of Contents
On the Use of Structural Petri Net Analysis for Studying Product Form
EquilibriumDistributions 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 Simulationof Large Knockout ATM Switches ........326
R. Gaeta and M. Ajmone Marsan
Flexibilityin Algebraic Nets.........................................345
E. Kindler and H. V¨olzer
ESTL: A Temporal Logic for Events and States........................365
E. Kindler and T. Vesper
Author Index....................................................385
Petri Nets as Token Objects
An Introduction to Elementary Object Nets
Ru¨diger Valk
Universit¨atHamburg, Fachbereich Informatik
[email protected]
Abstract. The model of Elementary Object System is introduced and
motivatedbyseveralexamplesandapplications.Objectsystemssupport
a modeling of systems by Petri nets following the paradigm of Object-
OrientedModeling.TheyarecomposedofaSystemNet andoneormore
Object Nets which can be seen as token objects of the system net. By
this approach an interesting and challenging two-level system modeling
technique is introduced. Similar to the object-oriented approach, com-
plexsystemsaremodeledclosetotheirrealappearance inanaturalway
to promote clear and reliable concepts. Applications in fields like work-
flow,flexiblemanufacturingoragent-orientedapproaches (mobileagents
and/orintelligentagentsasinAIresearch)arefeasible.Thispapergives
an introduction with several examples, but only few definitions and no
theorems,whichcanbefound,however,inamoreelaboratedpaper[19].
1 Introduction
1.1 Background
Object-oriented modeling means that software is designed as the interaction of
discreteobjects,incorporatingbothdatastructureandbehavior[11].Thenotion
of object-oriented modeling may be understood in (at least) three, somehow
different, ways:
– as a programming style which is strongly influenced by features and struc-
tures of object-oriented programminglanguages
– as amodeling concept leadingtosystem structures thatcan be easilyimple-
mented by object-oriented programminglanguages
– as ageneral modeling principle producing system models thatcan be imple-
mentedinanylanguagebutareinthespiritoftheobject-orientedparadigm.
Thispaperintendstocontributetothefoundationsofobject-orientedmodel-
ing,inparticularwithrespect tothethirdoftheseitemswithintheframeworkof
basic Petri net models.Comparingstatements with the goals andadvantages of
object-oriented modeling on the one hand and Petri net modeling on the other,
similarand sometimes identical assertions are found:
• software development by abstraction of objects
J.Desel,M.Silva (Eds.):ICATPN’98,LNCS1420,pp. 1–24,1998.
(cid:2)c Springer-VerlagBerlinHeidelberg1998