Numer: 03a/2012 Str. 165
Autorzy: Robert Dylewski , Marian Adamski :
Tytuł: Wyznaczanie P-inwariantów i pokrycia sieci Petriego z wykorzystaniem programowania liniowego
Streszczenie: W artykule rozważa się problem dekompozycji współbieżnego automatu cyfrowego realizowanego w rekonfigurowalnych strukturach cyfrowych na jego sekwencyjne składowe automatowe. Zaproponowano nową metodę wyznaczania P-inwariantów i pokrycia sieci Petriego, które są bezpieczne, żywe i powracalne. Do wyznaczania P-inwariantów używa się odpowiedniego zadania programowania liniowego, wykorzystując macierz znakowań. Przedstawiono zalety nowej metody w porównaniu do metod bazujących na macierzy incydencji. Zilustrowano praktyczne wykorzystanie metody analizując i dekomponując przykładowe sieci Petriego.
Słowa kluczowe: sieć Petriego, programowanie liniowe, P-inwarianty, SM- dekomponowana sieć Petriego, pokrycie sieci Petriego.