Numer: 11/2013 Str. 285
Autorzy: Robert Dylewski :
Tytuł: Wyznaczanie pokrycia sieci Petriego podsieciami typu automatowego
Streszczenie: 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.
Słowa kluczowe: pokrycie sieci Petriego, P-inwarianty, sekwencyjne składowe automatowe, programowanie liniowe.