Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Uogólnione morfizmy sieci Petriego
Języki publikacji
Abstrakty
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.
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.
Wydawca
Rocznik
Tom
Strony
3--24
Opis fizyczny
Twórcy
autor
autor
- Institute of Computer Science Gdańsk Branch Polish Academy of Science Abrahama 18 81-825 Sopot, Poland, m.bednarczyk@ipipan.waw.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0006-0008