20.03.2003

Hierarchiczny model przeplywow pracy za pomoca sieci Petriego

Tematem wystapienia bedzie modelowanie przeplywow pracy metoda zstepujaca. Przedstawiony zostanie zestaw podstawowych regul umozliwiajacy wyrazanie zlozenia sekwencyjnego, wyboru, rozwidlenia wspolbieznego oraz petli. Za pomoca tych regul bedziemy mogli tworzyc schematy pozwalajace na wyrazanie wielu typowych sytuacji powstajacych przy modelowaniu przeplywow pracy. Dodatkowo uzyskamy mozliwosc strukturalnego definiowania regionow - obszarow sieci wyrazajacych logistycznie polaczone fragmenty przeplywow pracy. Obsluga wyjatkow, zwiazanych z nieprzewidzianymi sytuacjami w trakcie wykonywania przeplywu pracy, bedzie ograniczana wlasnie do regionow co pozwoli uproscic model przez zawezenie obszaru razenia i skoncentrowac sie na czesciach sieci rzeczywiscie zwiazanych z wystapieniem danego wyjatku.

Poza podstawowymi regulami strukturalnymi umozliwimy dodatkowe mechanizmy: synchronizacje symetryczna, synchronizacje asymetryczna i komunikacje. Wszystkie one beda dotyczyly czesci systemu wykonywanych wspolbieznie. W wystapieniu beda przedstawione warunki umozliwiajace stwierdzanie, ktore czesci systemu sa wspolbiezne jedynie na podstawie drzewa zastosowanych regul rozdrabniania.

Przedstawione metody beda gwarantowaly uzyskiwanie poprawnych (sound) przeplywow pracy.