No/VOL: 11/2011 Page no. 164
Authors: Agnieszka Lasota , Andrei Karatkevich :
Title: Modification of Petri nets modeling production processes when quality control is introduced
Abstract: Sieci Petriego, jako formalny model procesów współbieżnych, doskonale nadają się do optymalizacji i weryfikacji procesów produkcyjnych. Wykorzystane w tym celu metody redukcji oraz analizy sieci pozwalają zbadać czy sieć jest dobrze zbudowana a tym samym czy proces produkcyjny będzie poprawnie realizowany również po wprowadzeniu pośrednich punktów kontroli jakości w wyniku czego może wystąpić konieczność przeprowadzenia modyfikacji. Do odwzorowania rzeczywistych procesów produkcyjnych zastosowane zostały s i - sieci.
Key words: sieci Petriego, -sieci, s-sieci, proces produkcyjny.