Tytuł pozycji:
An algebraic Characterization of Independence of Petri Net Processes
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.
Praca dotyczy procesów definiowanych przez sieci Petriego. Zawiera definicję częściowej operacji pozwalającej konkatenować procesy jeśli jeden proces jest kontynuacją innego. Pokazano,że zbiory procesów sieci Petriego wyposażone w te operację tworzą kategorie, w których niezależność procesów można scharakteryzować naturalnymi, czysto algebraicznymi środkami.
