Formal Transformation Inhibitory Safe Petri Nets into Equivalent not Inhibitory
Dmitry V. Pashchenko, Dmitry A. Trokoz, Nikolas Konnov, Mikel Sinev · Procedia Computer Science · 2015
The article shows the equivalence of inhibitory and non-inhibitory safe Petri nets by converting with the addition of inverse positions. Using this approach may be justified in solving particular problems for the protection of information systems that have successfully applied the mathematical apparatus of the theory of inhibitory safe Petri nets as well as in the simulation of diagnostic computer systems. Results articles can be used for modeling the processing of large data sets and modeling relational databases.