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
Non Sequential Semantics for Contextual P/T Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Representation of Processes of Petri Nets by Matrices
Fundamenta Informaticae
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
Fundamenta Informaticae
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
Fundamenta Informaticae
Building Occurrence Nets from Reveals Relations
Fundamenta Informaticae
Hi-index | 0.00 |
Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.