Coloured petri nets e cpn tools
This presentation is the property of its rightful owner.
Sponsored Links
1 / 11

Coloured Petri Nets e CPN Tools PowerPoint PPT Presentation


  • 137 Views
  • Uploaded on
  • Presentation posted in: General

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

Download Presentation

Coloured Petri Nets e CPN Tools

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Coloured petri nets e cpn tools

Coloured Petri Netse CPN Tools


Place transition petri nets p t nets

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 nets1

Place/Transition Petri Nets (P/T Nets)


Coloured petri nets cp 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”

“AAA”

“AAA”

“bbb”

“BBB”

STRING

STRING

s1

s2

s1^s2

STRING

var s1,s2 : STRING;


Coloured petri nets cp nets1

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;


Filosofi a cena con p t nets

Filosofi a cena con P/T Nets


Filosofi a cena con cp nets

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


Filosofi a cena con cp nets1

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


Filosofi a cena con cp nets2

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


Simulare p t nets con cp nets

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


Cpn tools

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/


  • Login