Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1 1999

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: concurrent realization

Sortuj według:

Ogranicz wyniki do:

Concurrent realizations of reactive systems

Bednarczyk M., Borzyszkowski A.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1999

nr 881

3-23

Omawiany jest problem znajdowania (funktorialnej) współbieżnej realizacji systemu reaktywnego jako etykietowanej bezpiecznej sieci Petriego. Najpierw opisana jest funktorialna konstrukcja prowadząca z kategorii konkretnych systemów asynchronicznych, wprowadzonych przez Morina, do kategorii etykietowanych bezpiecznych sieci Petriego. Następnie omówiony jest problem w pełnej ogólności. Na ogół nie istnieje optymalne rozwiązanie, tzn. nie istnieje najbardziej współbieżna realizacja systemu reaktywnego. Niemniej wskazana jest droga budowania pewnej współbieżnej realizacji systemu reaktywnego.

The problem of finding a (functional) concurrent realization of a reactive system by means of labelled safe Petri net is studied. Firstly, a (functional) construction is described that leads from the category of concrete asynchronous systems introduced by Morin to the category of labelled safe Petri nets. Then, the general problem is discussed. It is indicated that in general there are no optimal solutions, i.e., that the most concurrent realizations of a reactive system need not exist. Nevertheless, a framework to support the process of building a concurrent realization of a reactive system is presented.