Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

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: dekompozycja sieci Petriego

Sortuj według:

Ogranicz wyniki do:

Wyznaczanie pokrycia sieci Petriego przez SM-komponenty z wykorzystaniem przeszukiwania grafów

100%

Karatkiewicz A. , Wiśniewski R.

tom R. 88, nr 8

141-144

W artykule przedstawiono nową metodę dekompozycji na składowe automatowe żywych i bezpiecznych sieci Petriego, należących do klasy rozszerzonych sieci swobodnego wyboru (EFC). Metoda polega na przeszukiwaniu grafu sieci, biorąc pod uwagę relację współbieżności pomiędzy miejscami sieci. Przedstawiono i omówiono wyniki wstępnych eksperymentów, które pokazują dużą skuteczność metody względem rozwiązań ogólnie stosowanych, szczególnie w przypadku sieci zawierających wiele miejsc wzajemnie współbieżnych.

In the paper a new method of state machine decomposition of live and safe Petri net that belongs to the Extended Free-Choice class is presented. The method is based on search of the net graph, taking into account concurrency relation between places of the net. The method can be divided into two main steps. In the first one concurrency relation between particular places of the Petri net is computed. Next, the main decomposition process is performed, where subsequent SM-components are calculated. At the first step the method operates on the structure of the net. It is based on the modified algorithm, initially proposed by A.V. Kovalyov in [1]. Such an algorithm permits to find the concurrency relations between places in the Free Choice nets in a polynomial time. Next, the subsequent SM-components are computed. To find each SM-component, a graph-search algorithm is applied. Moreover, the concurrency relation obtained in the first step of proposed method is also taken into account. The method has polynomial computational complexity, unlike most of other methods of such decomposition. It is proved that the first step of an algorithm can be executed in a polynomial time in a case of a Extended Free Choice nets. Furthermore, the graph-search algorithm operates in a linear time, thus the whole decomposition process can be performed in a polynomial time.