Dla podanego systemu*, zdefiniowanych marszrut technologicznych przedmiotów oraz przyjętych
czasów trwania czynności zdefiniować Obiektowo Obserwowalną Sieć Petriego (OPN).
Przedstawione do zaliczenia, w formie sprawozdania, rozwiązanie powinno zawierać:
1. Schemat systemu oraz marszruty przedmiotów
2. Zbiory następników (tabela danych wejściowych do programu Copn)
3. Graficzną reprezentację modelu OPN
4. Macierz incydencji I(P,T)
5. Dodatkowe warunki wymagane aby system pracował bez blokad (niezależnie od przyjętych
czasów trwania czynności oraz sposobu wyboru przejść do odpalania)
6. Czas symulacji dla 10 sztuk przedmiotów każdego typu **
* dla uproszczenia w modelu można pominąć działanie magazynu M i wózka W (marszruta każdego
PO rozpoczyna i kończy się na odpowiednim stole)
** Wprowadzić dane do programu copn, wygenerować model, ustawić graficzny obraz modelu,
zdefiniować czasy trwania czynności, wprowadzić wymagane warunki zapobiegające blokadom (w
oparciu o liczniki czynności), przeprowadzić symulację dla 10 sztuk przedmiotów każdego typu.