An Approach to the Category of Net Computations

An Approach to the Category of Net Computations

Vladimiro Sassone

In 6th NWPT, pages 385-399


We introduce the notion of strong concatenable process as a refinement of non-sequential (concatenable) processes which can be expressed axiomatically via a functor from the category of Petri nets to an appropriate category of symmetric strict monoidal categories, in the precise sense that, for each net , the strong concatenable processes of are isomorphic to the arrows of . In addition, we identify a coreflection right adjoint to and characterize its replete image, thus yielding an axiomatization of the category of net computations.

BRICS, Department of Computer Science, University of Aarhus, Ny Munkegade Bld. 540, DK-8000 Aarhus C.

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page