Jozef Winkowski

A representation of processes of Petri nets by matrices

807

Abstract

A correspondence between processes of Petri nets and partitioned matrices over freely generated semirings is described. This correspondence implies a correspondence between operations of composing processes sequenially and in parallel and operations of multiplying and juxtaposing the respective matrices. This results in a characterization of partitioned matrices corresponding to processes of a given net and, consequently, allows one to represent processes by their matrices.