Sieci Petriego

t1

t2

t3

Maszyny stanów

a b a

Automaty skończone

a b a

ABAABBBA AA

Sieć Petriego

t1

t2

t3

miejsceprzejście

łuk

Maszyna stanów

Rozpocznij

Opłać

Anuluj

Zamówienie nie

rozpoczęte

Rozpoczęte Opłacone

Anulowane

Wznów

1 łuk do przejścia,1 łuk z przejścia

Znaczniki

Rozpocznij

Opłać

Anuluj

Zamówienie nie

rozpoczęte

Rozpoczęte Opłacone

Anulowane

Wznów

Znaczniki

Rozpocznij

Opłać

Anuluj

Zamówienie nie

rozpoczęte

Rozpoczęte Opłacone

Anulowane

Wznów

aktywacja

Znaczniki

Rozpocznij

Opłać

Anuluj

Zamówienie nie

rozpoczęte

Rozpoczęte Opłacone

Anulowane

Wznów

Znaczniki

Rozpocznij

Opłać

Anuluj

Zamówienie nie

rozpoczęte

Rozpoczęte Opłacone

Anulowane

Wznów

Równoległość i synchronizacja

Store original

Notify user

ResizeIn

background

Upload

Równoległość i synchronizacja

Store original

Notify user

ResizeIn

background

Upload

Równoległość i synchronizacja

Store original

Notify user

ResizeIn

background

Upload

Równoległość i synchronizacja

Store original

Notify user

ResizeIn

background

Upload

Liczenie

Lock

Addtask

test

Liczenie

Lock

Addtask

test

Liczenie

Lock

Addtask

test

Liczenie

Lock

Addtask

test

Liczenie

Lock

Addtask

test

Skład węgla

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Łuki wzbraniające

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.5

0.25

0.5

0.5

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.4

0.25

0.5

0.5

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.3

0.25

0.5

0.5

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.2

0.25

0.5

0.5

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.2

0.25

0.4

0.5

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.2

0.25

0.3

0.5

Losowe przechodzenie sieci

OdjazdJelczaDostawa

w.kamiennego

Koksowanie

25

Fajrantkierownika

0.2

0.25

0.3

0.5

Zalety

● Formalizacja● Dużo rozszerzeń● Duża swoboda modelowania● Możliwość modelowania i weryfikacji procesów

biznesowych

Wady

● Wymagana znajomość semantyki sieci● Duża swoboda wyboru poziomu modelowania

Narzędzia

● Gem petri (https://github.com/einzige/petri)

● Gem y_petri (https://github.com/boris-s/y_petri)

● Gem petri_net (https://github.com/cclausen/petri_net)

● PNEditor (http://www.pneditor.org/)