Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Metody Informatyki Stosowanej

1 2010

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: PetriNet decomposition

Sortuj według:

Ogranicz wyniki do:

Zastosowanie kolorowania hipergrafów w procesie dekompozycji równoległej automatów współbieżnych

Wiśniewska M., Wiśniewski R.

Metody Informatyki Stosowanej

2010

nr 2 (23)

151-157

W referacie zapręzentowano metodę dekompozycji sieci Petriego na podsieci typu automatowego, opartą o kolorowanie hipergrafu osiągalności. Zaprezentowano szczegółowe wyniki przeprowadzonych badań, w których proponowane rozwiązanie porównano z klasycznymi metodami opartymi o kolorowanie grafów osiągalności. Wyniki eksperymentów pokazały, że prezentowany algorytm jest znacznie szybszy od dotychczas stosowanych rozwiazań (nawet 1600 razy w przypadku sieci zawierających 200 miejsc).

In the article a decomposition method of concurrent automata is presented. The main advantage of the presented method is the availability of hypergraph theory usage instead of graph one. Hypergraph contains all information about the relations between hyperedges while in graph all cliques have to be found. Furthermore, the process of finding concurrent automata can be more effective because of hypergraph coloring usage. The computation of the hypergraph coloring is less complex than adequate graph coloring. Let us point out that the results of both solutions, either hypergraph and graph coloring are here the same.