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.

Presentazione sul tema: "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."— Transcript della presentazione:

1 Coloured Petri Nets e CPN Tools

2 Place/Transition Petri Nets (P/T Nets) Posto Token Transizione L’assegnamento dei token ai vari posti è chiamato Marking

3 Place/Transition Petri Nets (P/T Nets)

4 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;

5 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

6 Filosofi a cena con P/T Nets

7 Filosofi a cena con CP Nets INT 12 3 45 12 3 45 i i, (i+1)%5 i i Filosofi Chopsticks var i : INT;

8 Filosofi a cena con CP Nets INT 12 3 45 12 3 45 i i, (i+1)%5 i i var i : INT;

9 Filosofi a cena con CP Nets INT 1 2 3 45 1 45 i i, (i+1)%5 i i var i : INT;

10 Simulare P/T Nets con CP Nets Un intero per ogni token…. INT 11 1 11 var i : INT; ii i

11 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/