Coloured Petri Nets
e CPN Tools
Place/Transition Petri Nets
(P/T Nets)
Posto
Token
Transizione
L’assegnamento dei token ai
vari posti è chiamato Marking
Place/Transition Petri Nets
(P/T Nets)
Coloured Petri Nets (CP Nets)
“aaa”
“AAA”
“AAA”
“BBB”
“bbb”
STRING
s1
s2
Posto
Token (valore)
STRING
Tipo associato al posto
Transizione
s1^s2
Espressione associata all’arco:
consente di elaborare i token
coinvolti nella transizione
STRING
var s1,s2 : STRING;
Dichiarazione di variabili (o tipi)
utilizzate nella rete
Coloured Petri Nets (CP Nets)
“aaa”
“AAA”
“AAA”
“BBB”
“bbb”
STRING
s1
s2
“AAA”
“bbb”
STRING
STRING
s1^s2
“BBB”
s1
s2
STRING
s1^s2
“aaaAAA”
STRING
STRING
var s1,s2 : STRING;
Filosofi a cena con P/T Nets
Filosofi a cena con CP Nets
Filosofi
1
2
3
4
var i : INT;
5
INT
i
i , (i+1)%5
Chopsticks
i
1
2
3
4
INT
i
i , (i+1)%5
5
INT
Filosofi a cena con CP Nets
1
2
3
4
var i : INT;
5
INT
i
i , (i+1)%5
i
1
2
3
4
INT
i
i , (i+1)%5
5
INT
Filosofi a cena con CP Nets
1
3
4
var i : INT;
5
INT
i
i , (i+1)%5
i
1
2
4
INT
i
i , (i+1)%5
5
INT
Simulare P/T Nets con CP Nets
Un intero per ogni token….
var i : INT;
1
1
1
1
INT
1
INT
i
i
i
INT
CPN Tools
• Tool che consente di
disegnare, simulare e
verificare proprietà di
CP Nets
• Disponibile per
Windows e Linux
(previa registrazione)
all’indirizzo:
http://wiki.daimi.au.dk/
cpntools/