Concurrent realizations of reactive systems

• Autorzy: Bednarczyk M. , Borzyszkowski A.

Warianty tytułu

EN

Współbieżna realizacja systemów reaktywnych

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

EN

Petri nets; transition systems; asynchronous systems; reactive system; concurrent realization; case graphs; mixed products

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 1999
• Tom: nr 881
• Strony: 3--23

Twórcy

autor

Bednarczyk M.

autor

Borzyszkowski A.

• Instytut Informatyki Polska Akademia Nauk ul. Abrahama 18 81-825 Sopot,