Projections of C/E systems

A simple formalism for omitting details of CE-systems called projection is presented. Projections work with the PrT-net representation of CE-systems and allow to look at a CE-system from a partially quantitative point of view. They provide an unified approach to ordinary PT-nets and to PrT-nets avoiding multisets in the beginning. Their main use is for eliminating individual variables that occur in the coefficients of S-invariants of PrT-nets.

[1]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[2]  P. S. Thiagarajan,et al.  Some Aspects of Net Theory , 1983, The Analysis of Concurrent Systems.

[3]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[4]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[5]  R. Smullyan.  First-Order Logic , 1968 .

[6]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[7]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[8]  Sidney G. Winter,et al.  Naive Set Theory , 2021, Essential Mathematics for Undergraduates.