Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Przegląd Elektrotechniczny

1 2012

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Petri net cover

Sortuj według:

Ogranicz wyniki do:

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

Dylewski R., Adamski M.

Przegląd Elektrotechniczny

2012

R. 88, nr 3a

165-169

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.

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.