Download
coloured petri nets e cpn tools n.
Skip this Video
Loading SlideShow in 5 Seconds..
Coloured Petri Nets e CPN Tools PowerPoint Presentation
Download Presentation
Coloured Petri Nets e CPN Tools

Coloured Petri Nets e CPN Tools

243 Views Download Presentation
Download Presentation

Coloured Petri Nets e CPN Tools

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. Coloured Petri Netse 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” “AAA” “AAA” “bbb” “BBB” STRING STRING s1 s2 s1^s2 STRING var s1,s2 : STRING;

  5. Coloured Petri Nets (CP Nets) “aaa” “AAA” “AAA” “AAA” “bbb” “BBB” “bbb” “BBB” STRING STRING STRING STRING s1 s2 s1 s2 s1^s2 s1^s2 “aaaAAA” STRING STRING var s1,s2 : STRING;

  6. Filosofi a cena con P/T Nets

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

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

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

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

  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/