A new notion of a general morphism of Petri nets is introduced. The new morphisms are shown to properly include the morphisms considered so far. The resulting category of general Petri nets is shown to admit products. Here, it is shown that the new notion turns out to be indispensable to facilitate functoriality of synthesis of transition systems by means of (labelled) state machines. In the companion paper this result is used to synthesize concrete asynchronous systems studied by Morin as a mixed products of state machines.
PL
W pracy zaproponowano nowe, uogolnione pojęcie morfizmu dla sieci Petriego. Pokazano, że klasa tych morfizmów jest istotnie bogatsza od dotychczas rozważanych klas morfizmów. Otrzymana w ten sposób kategoria sieci Petriego posiada produkty. W niniejszej pracy pokazano, iż uogólnione morfizmy są niezbędne do zapewnienia funktorialności procesu syntezy tranzycji za pomocą (etykietowanych) maszyn stanowych. W innej pracy autorów pokazano, iz rezultat ten można zastosować w procesie syntezy konkretnych systemów asynchronicznych badanych przez Morin'a poprzez produkty mieszane maszyn stanowych.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.