In the article the problem of the decomposition of a concurrent digital automaton for its state machine components is considered. A new method of cover is proposed with safe, live and reversible Petri nets. In order to determine basic and correct P-invariants which generate strongly connected subnets of the state machine type the suitable linear programming problem based on the matrix of marking corresponding to the global states of the net is used. The operating of the method for the example Petri nets is illustrated and benefits in relation to other methods are presented.
PL
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.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
EN
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 algebraic approach is used for deriving and selecting the most suitable P-invariants, describing synthesizable components of State Machine Decomposable Net. The advantages of a novel method are demonstrated.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.