Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: concurrent automata

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.

An application of rough set methods in control design

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

Fundamenta Informaticae

2000

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.

CR-structures

Schmitt V.

Fundamenta Informaticae

1998

Vol. 33, nr 1

71-83

In this paper CR-structures are introduced. They consist of a slight generalization of general event structures, and supply a representation theorem for concurrency domains , - which are called here CR-domains for short. We recall that the latter domains are exactly the unfoldings of concurrent automata. This results also generalizes Droste's characterization of domains of configurations of general event structures.