Petriho sítě 1

Cvičení: Středa 14:15-15:45 (J401)

Zadání projektu

Vytvořte v CPN Tools černobílou síť modelující nějaký smysluplný problém. Projekt musí splňovat:

Součet počtu přechodů a míst musí být alespoň 20.
Výsledná síť musí být přehledná.
Všechny přechody a místa musí mít smysluplné jméno.
Modelováný problém musí obsahovat aktivity, které mohou být prováděny paralelně.
V síti musí existovat alespoň dvě místa které jsou k-omezená kde k >= 2, ale nejsou 1-omezená.
V síti musí existovat přechod, který je neproveditelný právě tehdy pokud je nějaké místo neprázdné.
Výše zmíněné podmínky musí "tématicky" zapadnout do modelováného problému.

Ukázkové náměty

Model podnikového procesu
Předstartovní příprava letadla/závodního auta
Model komunikačního protokolu
Model netriviálního paralelního algoritmu

Cvičení

Černobílé sítě v CPNTools

Příklady

Příklad 1

Uvažujte následující PT síť bez inhibičních hran. Upravte síť tak, aby platilo: Pokud je v červeném místě alespoň jeden token, tak modrý přechod nesmí být proveditelný. Ostatní chování síťe se nesmí změnit. (jinými slovy, jde nám o simulaci chování inhibiční hrany mezi červeným místem a modrým přechodem).

Řešení