|
Józef Winkowski
An Algebraic Characterization of Independence
of Petri Net Processes
953
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 the sets of
processes of Petri nets form together with this operation categories in which
independence of processes can be characterized in a natural, purely algebraic
way.
Keywords :
Petri nets, processes, concatenation, category, independence.
|
|
 |
 |
