In: Information Processing Letters, Volume 88, Issues 1-2 , 17 October 2003, pages 73-81. Elsevier, October 2003.
Abstract: The paper is concerned with processes of Petri nets. A partial operation on such processes is defined that allows one to concatenate processes whenever one process is a continuation of another. It is shown that for any Petri net as defined in the paper its set of processes equipped with this operation forms a category in which independence of processes can be characterized in a natural, purely algebraic way.
Keywords: Distributed systems; Petri nets; Processes; Concatenation; Category; Independence.