Numer: 11/2011 Str. 164
Autorzy: Agnieszka Lasota , Andrei Karatkevich :
Tytuł: Modification of Petri nets modeling production processes when quality control is introduced
Streszczenie: 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.
Słowa kluczowe: sieci Petriego, -sieci, s-sieci, proces produkcyjny.