Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
486112 | Procedia Computer Science | 2015 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)