Jozef Winkowski

A Representation of processes of contextual nets by matrices

835

Abstract

Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. A correspondence between processes of contextual nets and partitioned matrices over semirings that are freely generated by the respective sets of transition symbols 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.

Key words: Contextual net, process, sequential composition, parallel composition, interchange, partitioned matrix, multiplication, juxtaposition.