Wyniki wyszukiwania - Biblioteka Nauki

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

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: concurrent automata

Sortuj według:

Ogranicz wyniki do:

An application of rough set methods in control design

100%

Peters J. F. , Skowron A. , Suraj Z.

2000

tom Vol. 43, Nr 1-4

269-290

The paper deals with an automatic concurrent control design method derived from the specification of a discrete event control system represented in the form of a decision table. The main stages of our approach are: the control specification by decision tables, generation of rules from the specification of the system behavior, and converting rules set into a concurrent program represented in the form of a Petri net. Our approach is based on rough set theory.

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

63%

Wiśniewska M. , Wiśniewski R.

Metody Informatyki Stosowanej

2010

tom 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.