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) Posto Token (valore) Tipo associato al posto Transizione Espressione associata all’arco: consente di elaborare i token coinvolti nella transizione Dichiarazione di variabili (o tipi) utilizzate nella rete “aaa” “bbb” “AAA” “BBB” STRING s1s2 s1^s2 var s1,s2 : STRING;
Coloured Petri Nets (CP Nets) “aaa” “bbb” “AAA” “BBB” STRING s1s2 s1^s2 var s1,s2 : STRING; “bbb” “AAA” “aaaAAA” “BBB” STRING s1s2 s1^s2
Filosofi a cena con P/T Nets
Filosofi a cena con CP Nets INT i i, (i+1)%5 i i Filosofi Chopsticks var i : INT;
Filosofi a cena con CP Nets INT i i, (i+1)%5 i i var i : INT;
Filosofi a cena con CP Nets INT i i, (i+1)%5 i i var i : INT;
Simulare P/T Nets con CP Nets Un intero per ogni token…. INT var i : INT; ii i
CPN Tools Tool che consente di disegnare, simulare e verificare proprietà di CP Nets Disponibile per Windows e Linux (previa registrazione) all’indirizzo: cpntools/