No/VOL: 03a/2012 Page no. 165
Authors: Robert Dylewski , Marian Adamski :
Title: Wyznaczanie P-inwariantów i pokrycia sieci Petriego z wykorzystaniem programowania liniowego
Abstract: 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.
Key words: sieć Petriego, programowanie liniowe, P-inwarianty, SM- dekomponowana sieć Petriego, pokrycie sieci Petriego.