Petr nets, algebras, morphisms, and compositionality
Information and Computation
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Axiomatizing net computations and processes
Proceedings of the Fourth Annual Symposium on Logic in computer science
Concatenable weighted pomsets and their applications to modelling processes of Petri nets
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Elements of General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Processes of Contextual Nets and their Characteristics
Fundamenta Informaticae
| Hi-index | 0.00 |
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.