Wyznaczanie P-inwariantów I pokrycia sieci Petriego z wykorzystaniem programowania liniowego

摘要

In the paper the problem of concurrent state machine decomposition into a set of sequential state machine subcomponents realized in reconfigurable hardware is considered. The new method of detecting P—invariants from reachability matrix, which cover a safe, live and reversible Petri net is proposed. The linear alaebraic approach is used for derivina and selectina the most suitable P-invariants. Describina svnthesizable components of State Machine Decomposable Net. The advantages of a novel method are demonstrated.%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 przykladowe sieci Petriego.