Marek A. Bednarczyk, Andrzej M. Borzyszkowski

General Morphisms of Petri Nets

874

Abstract

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.

Key words: Petri nets, transition systems, (concrete) asynchronous systems, state machines, mixed products, case graphs, regions, synthesis.