Coloured petri nets e cpn tools
Download
1 / 11

Coloured Petri Nets e CPN Tools - PowerPoint PPT Presentation


  • 190 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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha

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



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



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


ad
  • Login