A Representation of Processes of Petri Nets by Matrices

Article type: Research Article

Authors: Winkowski, Józef

Affiliations: Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland. wink@ipipan.waw.pl

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 sequentially and in parallel and operations of multiplying and juxtaposing the respective partitioned matrices. It results in a characterization of partitioned matrices corresponding to processes of a given net and, consequently, allows one to represent processes by their matrices.

Keywords: Petri net, process, sequential composition, parallel composition, interchange, partitioned matrix, multiplication, juxtaposition

DOI: 10.3233/FI-1997-30107

Journal: Fundamenta Informaticae, vol. 30, no. 1, pp. 97-107, 1997