HAL Id: hal-00003390
https://hal.archives-ouvertes.fr/hal-00003390
Submitted on 29 Nov 2004
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Towards a methodology for modelling with Petri nets
Christine Choppy, Laure Petrucci
To cite this version:
Christine Choppy, Laure Petrucci. Towards a methodology for modelling with Petri nets. Workshop
on Practical Use of Coloured Petri Nets, 2004, Aarhus, Denmark. pp.39-56. �hal-00003390�
(%)+*,-.%0/12
3547698;:=<>8;?7@A3547BDC7C.EGFH?-IKJLFHM-69@ONP@"<>69M-QRQR8
SUTWVYXZ\[^]O_a`bXP_^cedgfih"fjZiTlkjmonqprnqs\ntuwvxprvzy
{={^|
[^k\px}
{z~
mqpn\y
{
V2u
~
pmY^ToTqT
"5 } { ks
{ i{
uwk
|
uw\nqpmWn
{
`Yvzy
{=5{
kRn=Z\
| hwRh"fPprvxv
{
n)u"k
{
sm
{
Z\-_ X`b
)=2z-iWWR9-i9 R g¡g¢£Hz¤iW9¥D)lW¤i¦§¦§x¨=©b Rj¤RRªg«¬ W§§®"¯x
°±.²§³§´µR¶9³
·
=WzHl ¸§¦§º¹R¦&zW9i$W)=»iº¼¦)¤RºW½2WWL¿¾=§R)oz¢\»i¤ibWÀ¸=W
WRÁ¦§9 iqÂiº;¡#z¯YWiÁ¡"W§1WÃÀ¸5»"§ª>§= ¸&»j¢z»WR¤RlÁ=¯b¿¯zW=
rzR¾=¤=¾=9KÄÅÆÇ=ÈÉ¢beqWRw»Ê5 "W9 ¸=l&»Ê¯z¿l ¸§¦§º¹R¦&zW9,»i)ª>§9 i§g&¢
½W#7ËÍÌ"£¢Wi-=9ËY¾=§Àioz¦Ì" ¸§¦)¹R¦&zW=#£=R¾=¤z¾99¢=R»7ËÍÌi£\«
£iÎ2£U¢w=)ÂwW§il=¯z»"¡"z¦2¡iW)l ¸§¦)¹R¦&zW=¢i=ozW¾9q7=i¾9¤z¾9§§
Ï
&½7§ª9)&¢WRÐqWRw»A¦)9¤R»ÑÀ¸Ã¤Rl§»A½ºWÓÒw¤iºWª=zW);¡Êz¯Lw»i§R¾
rzR¾=¤=¾=§§¢¸z2lR&½5ÁWR2 z ¸)2½R¦oÐ$^¹iWzlW§ "7W^ iWªwr»"Í¡"«
W§zW¦^¾9¤R»"§i§Í¯zL¥D)lW.i)bl ¸)¦§º¹¦&W=#=ÃWiP¾zW9¤i»=¯WRPz¯x=W)«
§gW=R&»l ¸§¦)¹R¦&zW=)WRw»\LÄ;li½R&½WÁ)Â" iW§lÃW)WÍ=¯
¥D)lWHi)W$Wi¦§9iWºW¤R§g¯&W¤iW§b=R»ÐWR "W9 ¸)lW§$)Â"RÀRºW&»Á¯xW9ÔWR
¹RWl ¸§¦)¹R¦&zW== i iW9=¦oPËw»i§Dlozl ¸§¦§º¹R¦&zW9¯xW=ÕÆÖzÈU¤Rl&»
=YPW¤RiRR¾P)Âi= R9
× Ø ÙÚ2Û&ÜÝÚ7ÛzÙÐÞ
ßà\pxv
{áÉâ"~)
uwvÍmo
{=ã pä
ã
ugn)p
â
kjmÁu
~q{Ãåb{
vxvÍu"æ¸}
âã ugn
{ æ å à {
kçueè
âRâ æÑéjuimopm
áÉâ"~á s ~
n)à
{z~
æ { } { vâ
5{
kRnPpm
~q{9ê sjp
~){
æ.ZHn)à
{zëì~){z
uwpxkAæ\pí
ã
sjvnn
â#å~
pn
{
pxkOè
{ k {=~
u"v;î
¿â k\ènqà
{
~)â é\v
{z
mu
~q{
n)à
{ãâi
\v
{zï pn
ëAâwá nqà
{ m ë mon
{z
n â é { æ { } { vâ {
æUZ-u"kjæÊnqà
{
sjm
{â"á
u
áÉâ"~)
uwv7vuwk\èisjuwè
{
îÐc
â â n { kRnqpuwv2à
{
vrmu
~){
k
{={
æ { æen
â
mWn§u
~
nPn)à
{
mo
{=ã pä
ã
ugn)p
â
kUZuwkæ
nqà
{
kÃm
â"¿{
è"s\pæ
{
vrpxk
{
m2n
â~){z
pxkjæm
âi¿{{
m)m
{
kin)pxu"v
áÉ{
uwnqs
~){
m7n
â é { æ { m ã~
pxé
{
æ.îTlkeðwñZiu
¿{
n)à
â
æìpxm
~)â
â m { æ
áÉâi~
mq
{9ã prä
ã
uwnqp
â
kOæ
{ } { vâ
¿{
kRn=Z
å
prnqàóò^ô-õzöðhwñÅZHn)à
{ ` âi¿5â
k
vxè
{ é ~ uwp
ã
c
{=ã prä
ã
ugnqp
â
kSuwkjè"sju"è
{
ZRuwkjæìò^ôõzö"÷qøDù.öðú9h9ñÅZ¸uwk
{ï n {
kjmop
â k áÉâ"~
æ ë ku
pã
m ë mon
{=
mYmq
{9ã prä
ã
uwnqp
â
kUZ¸uimn§u
~ è {
nbvxu"k\è"suwè
{
mzî-û
âgåb{
}
{z~
Z"n)à\pxm
¿{
n)à
â æ ãzâ
s\væÃé
{
sm
{ æ
å
prnqà
ê
s\pn
{
u5}>u
~ p{ n ëâwá
n§u
~ è {
nÍvuwkjè"sju"è
{
m=î
V { n ~ pk
{
n§m^àju>}
{ é {={
kÊmos
ã=ã{
mqm
á
s\vxv
ë
sjm
{ æ áÉâi~Pãâ
k ã s
~q~){
kRn^m
ë
mon
{=
m^mq
{9ã prä
ã
uwnqp
â
kUî
¿â
k\èÐprn)m^ugnon
~ u ã n)pr}
{^áÉ{
ugnqs
~q{
mzZpmbnqà
{ãâi
é\pxkjuwnqp
â k âwá
uÐè
~
uwjà\p
ã
vuwk\èisjuwè
{
uwkæu"k
{üD{=ã nqpx}
{PáÉâ"~)
uwv
5â æ {
vHnqàjuwn
u ë é {
sm
{ æ
áÉâ"~YáÉâ"~)
uwvD}
{=~
prä
ã
ugnqp
â
kî-
ï
~q{
mqmqpr}prn
ëÐâ"á
V { n ~ pjk
{
n§mpm$æ
~ u ugn)p
ã
uwvxv
ë
prk
ã~){
u"m
{
æ5é
ë
nqà
{
sm
{Lâ"á à\prèià
| v{ } { vÉý
ãzâ vâ s
~){
æ5V
{ n ~ pjk
{
n§mzZ
uwkæeuwvm
â é ë nqà
{
u"æ\æ\pn)p
â k âwáY5â
æ¸sjvxu
~
prn
ë#áÉ{
ugn)s
~){
m=îþÍàsjm=Z
ê
s\pn
{
mopxÿ=u"é\v
{Ð{ï u
\v
{ m
åb{z~){
mq
{9ã prä
{ æ å prnqàìV
{ n ~ p.k
{
n)m=î
ßà\pxv
{
n)à
{
sjm
{âwá V { n ~
p¸k
{
n)m$é
{9ãâi5{
m s ã à {
u"mqp
{=~2å pn)à5nqà
{
u>}gu"prvuwé\pxvxpn
ëâ"á àjprèià
sjuwvxprn k}p k kRn)mu"kjæAn vm=Zn s k v æ¸è Zvxpnqnqv uimæ } n æAn
{=ã ã â 5{ â â â ëáÉâ"~ { ~ { { âwá åbâ"~ â ~)â {
è"sjpxæ
{
vrpxk
{ m áÉâ"~
V { n ~ p\k
{
nYmo
{=ã pä
ã
ugn)p
â k â k¿nqà
{ è
~)â s\kæ\m
âwá nqà
{ u áÉâi~q{=5{
kRnqp
â k { æÐmq
{9ã&|
prä
ã
uwnqp
â k
5{
nqà
â
æ.î n ~
u"prkmq
{9ã prä
ã
uwnqp
â
kóð>ñpxmLsjm
{
æuimu
~
s\kjk\prkjè
{zï u
\v
{ î
þÍà
{
mon
~ s ã n)s
~){ìâwá nqà
{
uw
{z~
pmÃu"m
áÉâ vxv
âgå
m=î ß { ä ~
mWnæ
{ m ãz~
pxé
{
nqà
{ n ~ u"prk
{zïR|
u
\v
{
prk c
{=ã nqp
â
k¸Z2n)à
{
k,nqà
{ è { k {z~
uwvÍmq
{9ã prä
ã
uwnqp
â k
¿{
nqà
â æ ð"ñÍpm5
~){
m{ kRn
{
æÓpxk
c
{9ã nqp
â
kAh\îþÍà
{
~)â
â m { æèis\pæ
{
vxprk
{ m áÉâ"~
V { n ~ pk
{
nmo
{=ã pä
ã
ugn)p
â
kOu
~){
~){
m{ kRn
{
æìpxk
c
{9ã nqp
â
kAjZHn
â è { nqà
{=~å prnqàOnqà
{ p~ u"\\vxp
ã
ugnqp
â k â
kOnqà
{ n ~ uwpxk
{zï u
\v
{
ZUuwkjæenqà
{ V { n ~ p
k { n^mo
{=ã pä
ã
ugn)p
â
kpmÍè"px}
{
kpxkec
{=ã nqp
â
k¸î
ÙÑÚ2ÝÛzÞÝ
s
~P~
s\kjk\prkjè
{zï u
\v
{Ðå prvxv-é
{
nqà
{ n âgë~
uwpxv
å u ëÃáÉ~)â"
ð>ñZDprk
å
à\p
ã
àAumon
{ |é ëR|
mon
{
¿â æ {
vxprkjè
â"á n)à
{~
uwpxv
å u ë é ë mWn)sjæ
{
kin§m
å
uimæ
{ m ã~
pxé
{
æ.î
þÍà
{
~)âW{=ã nuimqmqpxè"k
{
æìn
â
monqsjæ
{
kRn)m
å
u"mk
â n â kjv
ë æ {
mqprèik
{
æAu"muwkÊuw\
~)â u ã
àìn
â
ju
~
u"vrv
{
v2
~)â è ~ u
¿
pxk\èZé\s¸n5uwvm
â n
âe{z
\àjuimopxÿ
{
n)à
{ é { k { ä\n)m
âwá mq
{9ã prä
ã
uwnqp
â
kóuwkæ
}guwvxpxæjugnqp
â
k
~ p â"~
n â
~qâ è ~ u
¿
prkjèjîTlkju
~
nqp
ã
sjvxu
~
Zinqà
{
mWn)sjæ
{
kin§m
åY{=~q{
u"m
"{
æ5n
â
~)âw|
æ¸s
ãz{
uìè
~
u"\à\p
ã
uwv
5â æ {
v;Z7àju>}pxk\èìn)à
{
m)u
¿{
uwj
{ u ~ uwk
ãz{
u"mn)à
{
jà
ë
mqp
ã
uwv
~
uwpxv
å u ë î
þÍà\pm
å
u"mk
â n
~){=ê s\p
~q{
æ
áÉâ"~
u { monqà
{
nqp
ã~){
u"m
â
kmé\s¸n^é
{=ã uwsjm
{
prnPè
~q{
ugnqv
ë à { vxjmn
â
s\k
|
æ
{=~
mon)u"kjæ
å à { n)à
{z~
u
ãâ k¸äjè"s
~
uwnqp
â k âwá
nqà
{~
u"prv
å u ë pm
ãâi~q~){=ã
n
â"~
k â n=îþÍà\pm
{
u"m
{
mLu
é
â"~
prk\èìu"kjæ
{z~)~qâi~o|
~)â k {
n)uim
eâ"á më
kRnqà
{
mopxÿzpxk\èìuv
â
k\èem
{=ê s { k
ã{¿âwá n ~
u"kjmoprnqp
â
kmzîÃTn
~){
~){
m{
kRn)mYuwkp
â"~
n)uwkRnbé
{ k { ä\n
áÉâi~
æ {
é\s\èiè"pxk\èjî7Tnuwvm
â {=~q
prn)mYn
â5
u
"{
uÁæ¸p
~){=ã
n
ãâi~q~){
mq
â
kjæ
{ k ã{
é { n
åb{z{
knqà
{
\à
ë
mqp
ã
uwvDn
~
u"prkæ
{
}Rp
ã{
muwkjænqà
{ V { n ~ p.k
{ n
5â æ {
v;î
þÍà
{
jà
ë
mqp
ã
uwv
¿â æ { v ~
uwpxv
å u ë pmPæ
{
\p
ã n {
æìpxkO-prèis
~){
ú"îLTn
ãzâ kjmqpmWn§m
âwá u"é
â
s¸nÁú
¿{
n
{z~
m
â"á n ~ u
ã!
mzZHæ¸px}Rpæ
{
æepxkin
â
ú#"Ãm
{9ã n)p
â
kjm%$Ž\v
âã!
m úÁn
â#
ú#"'&L\vrsm(mopæ
{ n ~ u ã!
m
$;c\þúYuwkæÁc¸þ)*&Z
ãâ k\k
{=ã n {
æé
ëPáÉâ s ~ m å
prn
ã à { mu"kjæ
â k {Yãz~qâ
mqmqprkjèjîþÍà
{Yå u ë
nqà
{ n ~ u"prkjm
ã
u"kOjuimqm^nqà
{ m å prn
ã à {
mu"kjæìn)à
{¿ã~)â
m)mopxk\èpmprkæ¸p
ã
ugn
{
æAé
ë
n)à
{ u
~)~qâgå
m^prkÑ-prèis
~q{
ú"î
þÍà
{ n ~ uwí
ãLâ kÃu"vrvjn
~ u ã!
m ã uwkè
â é â nqà
å u ë mzî
vrnqà
â
s\è"à
â k {^ã
uwkÃk
â
nqp
ã{
nqàjuwnbm
å
pn
ã à
ú$¬uwkæÊu"vxm
â m å prn
ã
à+*&Ppxm
ãzâ"
â m { æ
âwá
n
åbâ#{
v
{z¿{
kRn)u
~qëìâ k {
m=ZUprnpxm
uwkuwè
{
æOuimu
mqprk\èiv
{
s\k\prn=ZÍæ¸s
{ n â n)à
{
mqà
â"~
n¿æ\pxmon)u"k
ã{
é { n
åb{z{
k,nqà
{ n åbâ
\à
ë
mqp
ã
uwv
ãzâ"
â k { kin§mzî
þÍà
{5~
u"prv
å u ë pm
ãzâ k\k
{=ã n {
æen
â u ãâi
\s¸n
{=~
}Rpuum
{=~
puwv-
â"~
n å à\p
ã
àAu"vrv
âgå mn
â~){
uiæ
pxk
áÉâ"~)
ugnqp
â k áÉ~qâi
m { km
âi~
muwkjæÐm
{
kjæ
âi~
æ
{=~
mUn
â n ~ uwpxkjmnqà
~)â s\èiànqà
{ n ~ u ã!
m
â"~
æ¸p
~q{9ã nqv
ë
n â m å prn
ã à { mzî7$u
ã
àm
{9ã nqp
â
kpm
{9ê s\prj
{ æ å pn)à
â k { m { kjm
â"~
uwn
{ u ã à { kjæ.Zin
â æ { n {=ã
nYnqà
{
{
kRn
~
u"k
ã{Ðâ"~{ï prn
â"á uÃn
~
u"prkîÁþÍà
{¿â"~
æ
{z~
m^m
{
kRnn
â n ~ uwpxkjm
ã
u"kOé
{5{
pn)à
{z~
mon
â âi~
è â
áÉâ"~)å u ~
æý>éju
ã!å u ~
æ\m$ugnLu5è"px}
{
kmq
{={
æ.î
ûLp
{z~
u
~§ã à\p
ã
uwv
ãâ vâ s
~q{
æV
{ n ~ pRk
{
n§mÍðúiú&ñ
åY{=~q{$ã à â m{
kÁuimu
5â æ {
v;Zwæ\s
{ n â n)à
{ p~ n ââ
v
mqs\\
â"~
n
áÉâ"~
àjp
{=~
u
~)ã à\p
{
m=Zjmqp
s\vugnqp
â
kZuwkæ
âã=ã
s
~)~){
k
ãz{
è ~ u"\àjm=Z
{ îèjî),.-jõ0/21435\ò687
ðrú#Z\ú9f>ñî-û^p
{=~
u
~)ã à\p
{
m7u"vrv
âgåY{
æÁumon
~ s ã n)s
~){
æ5æ
{
mqprèikUZ
å à {=~q{
n)à
{ n â |v{ } { v¸k
{ n
~){:9j{9ã n)m
nqà
{
àju
~ æ å u
~){
vu
ë"â s\n=î2þÍà
{
sjm
{âwá àjprèià
|v{ } { v.k
{
n)mÍ
{z~)
pn§mé
â
nqà
ã
u"¸nqs
~
pxk\èm
{ } {=~
u"v
ã
uim
{
m$é
ë
u5mopxk\è"v
{ n ~ uwkjmqpn)p
â
kuwkæ
~){
~){
m{
kRnqpxk\èn)à
{
ju
~ u
¿{
n
{z~
m
â"á n ~
uwpxkjmbuwkjæÃn
~ u ã!
m
{=ã n)p
â
kjmÍé
ëâ k {
\vxu
ã{
îþÍà
{
sjm
{âwá uwk
â"~
æ¸prku
~)ë k {
nLv
{
uiæ\mbn
â
sjk
~q{
u"æ\u"é\v
{
pxkRn
~ pã ugn
{
¿â æ {
vmzî
þÍà æ v\æ m pxé æÁpxkðgñju"æ ¸n)m7uwk¿u"æjuw¸n)pr} s¸n)prkjèmon ugn è nqà n u"prkjm
switch 1 switch 4
switch 2 switch 3
crossing
ST1
ST2 B3
B4
B9
B10
B1
B2
B7 B8
B13 B14
B15
B16 B5
B6
B11
B12
-pxè"s
~){
ú*;2þÍà
{ n ~ u ã!
m
â"á nqà
{5â æ { v ~
uwpxv
å u ë î
n
âã
p
~)ã s\vxuwn
{
îÍû
{ k ãz{
Zjnqà
{ é { àju>}p
âi~Lâwá n ~
uwpxkjmLuiæ\uw\n)mn
â v âã
uwv
ãzâ kjæ\pn)p
â
kjmzîXPu
¿{
vë Z
ugn
{ u ã àm
å
pn
ã
àUZinqà
{ n~ uwpxk=<m
~qâ s¸n
{Pã uwké
{^ã à â m {
kÃu
¿â kjèm
{ } {z~
uwv\n
~ u ã!
m2uwkjæun
~
uwpxk
u ëÃ{
} { k#è
â
éju
ã!å à {
kprn
ã
uwkjk
â n ãâ
kRnqpxkRs
{PáÉâi~qå u ~
æ.î
vrnqà
â
s\è"à#mos
~ ~
pmopxk\èugnbnqà
{ ä ~ mWnbè"vuwk
ãz{
Zmos
ã
àÃé
{
àju>}p
âi~$â"á n ~
uwpxkjm
â"üH{=~
mbm
{ } {=~
u"v
ãâi
\v
{zïÁ~)â s¸n)prk\è
â
m)mopxé\pxvrprnqp
{
m=Z"æ
{=
u"kjæ¸pxk\ènqà
{
monqsæ
{
kRn)m2n
â æ { mqpxè"k¿u
~)â s\nqpxk\èP
â
vxp
ãë
m â
n)àjugn^m)u
áÉ{
n ë uwkæ
â {=~
uwnqp
â
kju"v
~){=ê s\p
~){z¿{
kRn)mu
~q{Pá s\vräjvxv
{
æ.î
> ?@A)BLÛ:CBÝÚ7ÛÙ5ÞDÍÚE ÙFÛ=ÞBLÛ:G
þÍà
{P5{
nqà
â
æ
~q{
m { kin
{
æpxkOðwñ.uwp
mYuwnYà
{
vr\pxk\è5u
¿â æ { v
{z~
prk#æ
{
mqprèik\pxk\èÁuHIJLK!MONQPSRUT
V
MWT:XZY\î2Tn^uimqmqs
¿{
mYn)àjugn^u@IJLK!MONQPSRUT
V
MWT:X
u ë é
{{
pn)à
{z~^âwá n)à
{áÉâ vxv
âgå prk\è[;
\
uI
V
X)]_^`TbacSdePSX
Vgf
Ihc IhMiTXj$¬uæ
ë
kju
pã pxkRn
{=~
u ã nqpxk\è
{
kRnqprn
ë
prkepm
â
vugnqp
â
kZ
{ îèîrZ
u¿m
{=ê s {
kin)pxu"v.
~)âãz{
m)m&
âi~
\
ukIhMlRhm
f
MOmnRUT!a@acSdePSX
Vgf
I!c IhMWT:Xj$;u
ãzâ"¿
sjk\pn
ëìâ"á$
s\nqsju"vrv
ë
prkRn
{z~
u ã n)prkjè
{
kRn)p
|
n)p
{
mzZmop
\v
{âi~
uwvm
â
mon
~ s ã n)s
~q{
æo&&Z
â"~
\
ua'PSMWPZIhMORhm f MOmnRUT.$
âi~
æ\ugn§uÐn
ë {
&î
Tn
{=
mìu
~q{Êã àju
~ u ã n {=~
pxÿ
{ æ é ë n)à
{ p~
]pPRhMgIóuwkjæ f JdpIhMVMlmoTdoMK:T!PSMOmnRUT:I§ZPnqàugnìu
~){
mqs\éjm
{=ê s {
kRn)v
ë
mo
{=ã pä
{
æ.î7
â"~
prkjmon)u"k
ã{
Zwn)à
{
ju
~
n§m
âwá mop
\v
{ m ë mon
{z
mu
~q{
æ\uwn)umon
~ s ã&|
nqs mzZ¸uwkæ¿nqà p kjmonqprnqs kRn ugnqs mYu mWn§ugn mYu"kjæ v kRn)u prkRn u n)p kjmbæ