No/VOL: 11/2013 Page no. 285
Authors: Robert Dylewski :
Title: Wyznaczanie pokrycia sieci Petriego podsieciami typu automatowego
Abstract: W artykule rozważa się problem dekompozycji współbieżnego automatu cyfrowego na jego sekwencyjne składowe automatowe. Zaproponowano nową metodę pokrycia bezpiecznych, żywych i powracanych sieci Petriego. Do wyznaczania p-inwariantów podstawowych i poprawnych, generujących mocno spójne podsieci typu maszyna stanów używa się odpowiedniego zadania programowania liniowego, bazującego na macierzy znakowań odpowiadającej stanom globalnym sieci. Zilustrowano działanie metody dla przykładowych sieci Petriego i przedstawiono zalety w stosunku do innych metod.
Key words: pokrycie sieci Petriego, P-inwarianty, sekwencyjne składowe automatowe, programowanie liniowe.