Technical Report; Series B, No. 5, pages 1-25 pp.. Espoo, Finland: Helsinki Unversity of Technology, Digital Systems Laboratory, June 1988.
Abstract: Petri net theory and category theory both commonly use graphical representations. Here each net, an Elementary Net System, is represented in a natural way in a category. The standard lockstep semantics for a net can be defined within the same category, because so-called categorial products introduced here are used for modelling cases. A parallel operator is defined, which lucidly represents the nature of steps.
Keywords: category theory; elementary net system; parallel operator.