On some transformations of net-like models of systems and projects (Part II)

In the first part of the paper the notion of a graph with limitations has been described. These structures seem to be good tools for modeling of some systems which are more general than in the case of the ‘classical’ Petri nets. In this paper we define the notion of morphisms of such structures. These morphisms are graph-morphisms respecting an additional, internal structure of elements of the (carrier sets of) graphs. They also are a tool for defining the notion of a process in a system. Some types of such morphisms and corresponding categories are described. It is shown that these categories are closed under formation of product and coproduct.