Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Applied Computer Science

1 2011

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: concurrent control programs

Sortuj według:

Ogranicz wyniki do:

Towards automated synthesis of concurrent control programs

Bocewicz G., Bzdyra K., Banaszak Z.

Applied Computer Science

2011

Vol. 7, no 2

7--20

One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.