3 IF przed Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
3 IF przed Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0
CASE producent po SLEEP Flaga1=0 Flaga2=0
CASE producent przed F Flaga1=0 Flaga2=0
PRODUCENT [WEJSCIE] przed USTAWIENIU flagi Flaga1=0 Flaga2=0
PRODUCENT po USTAWIENIU flagi Flaga1=1 Flaga2=0
PRODUCENT [SK] przed produkcja Flaga1=1 Flaga2=0
F Produkcja przed IF Flaga1=1 Flaga2=0
F Produkcja przed WAIT Flaga1=1 Flaga2=0
F Produkcja w IF Flaga1=1 Flaga2=0
F Produkcja po WAIT Flaga1=1 Flaga2=0
PRODUCENT [SK] po produkcji Flaga1=1 Flaga2=0
Producent wyprodukowal towar
PRODUCENT przed USTAWIENIEM flagi1 Flaga1=1 Flaga2=0
PRODUCENT [WYJSCIE] po USTAWIENIU flagi1 Flaga1=0 Flaga2=0
CASE producent po F Flaga1=0 Flaga2=0
CASE konsument po SLEEP Flaga1=0 Flaga2=0
CASE konsument przed F Flaga1=0 Flaga2=0
KONSUMENT [WEJSCIE] prezed USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
KONSUMENT po USTAWIENIU flagi2 Flaga1=0 Flaga2=1
KONSUMENT po WHILE(flaga1=1) Flaga1=0 Flaga2=1
KONSUMENT [SK] przed F konsumpcja Flaga1=0 Flaga2=1
F Konsumpcja przed IF Flaga1=0 Flaga2=1
F Konsumpcja przed WAIT Flaga1=0 Flaga2=1
F Konsumpcja w IF Flaga1=0 Flaga2=1
F Konsumpcja po WAIT Flaga1=0 Flaga2=1
KONSUMENT [SK] po F koncumpcja Flaga1=0 Flaga2=1
Konsument wykorzytal towar
KONSUMENT [WYJSCIE] przed USTAWIENIEM flagi2 Flaga1=0 Flaga2=1
KONSUMENT [WYJSCIE] po USTAWIENIEM flagi2 Flaga1=0 Flaga2=0
CASE konsument po F Flaga1=0 Flaga2=0