General morphisms of Petri nets

• Autorzy: Bednarczyk M. , Borzyszkowski A.

Warianty tytułu

PL

Uogólnione morfizmy sieci Petriego

• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Petri nets; transition systems; (concrete) asynchronous systems; state machines; mixed products; case graphs; regions; synthesis

PL

sieci Petriego; konkretne systemy asynchroniczne

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

Twórcy

autor

Bednarczyk M.

autor

Borzyszkowski A.

• Institute of Computer Science Gdańsk Branch Polish Academy of Science Abrahama 18 81-825 Sopot, Poland,