Abstract
In this paper, we define mathematical formalism of Petri nets and graph states, presents found properties of Petri nets: unrecorded original data and loss of state. Provides a method of inversion colored Petri nets, directed arcs that are inherent in the change of data types in tags.
When inversion Petri nets certain design appear earlier unrecorded state, which should be considered unusable and take them into account in the analysis. In implementing the inversion followed by the construction of a state graph inverted Petri net, be aware that some conditions inherent in the direct graph will not be investigated, since the corresponding branch in which they are located, has a finite, possibly deadlock, state. Thus, when the inversion Petri nets, state graph, which has several branches and the condition that the state of different branches in relation to each other do not have covering property, partially investigated with respect to line of graph net.
Colored Petri nets as opposed to simple have the ability to change the data type from the labels in the process, i.e. direct inversion (change of direction relationships among vertices Petri nets) for this case is not suitable – proposed rule that performs the inverse data Petri nets.
Keywords: Petri nets, inversion of Petri net, ordinary Petri net, simple Petri net, colored Petri net, state graph, marking, data transfer protocol
References
J.L. Petri net theory and the modeling of systems. New Jersey, Prentice Hall, Englewood Cliffs, 1981. 288 p. (Russ. ed.: Piterson Dzh. Teoriya setei Petri i modelirovanie. Moscow, Mir Publ., 1984. 264 p.).
2. Voevoda A.A., Korotikov S.V., Sarkenov D.O. Primenenie setei Petri pri razrabotke protokolov [Application of Petri nets in the engineering of protocols]. Nauchnyi vestnik NGTU – Science Bulletin of Novosibirsk State Technical University, 2004, no. 2 (17), pp. 175–180.
3. Korotikov S.V. Primenenie setei Petri v razrabotke programmnogo obespecheniya tsentrov distantsionnogo kontrolya i upravleniya. Diss. kand. tehn. nauk [The use of Petri nets in software development centers, remote monitoring and control. PhD eng. sci. diss.]. Novosibirsk, 2007. 216 p.
4. Romannikov D.O., Markov A.V. Primer primeneniya metodiki razrabotki PO s ispol'zovaniem UML-diagramm i setei Petri [Modification of the methodology of software development using UML diagrams and Petri nets]. Nauchnyi vestnik NGTU – Science Bulletin of Novosibirsk State Technical University, 2012, no. 1 (67), pp. 175–180.
5. Romannikov D.O. Razrabotka programmnogo obespecheniya s primeneniem UML diagramm i setei Petri dlya sistem upravleniya lokal'nym oborudovaniem. Diss. kand. tekhn. nauk [Software development using UML diagrams and Petri nets for local control systems equipment. PhD eng. sci. diss.]. Novosibirsk, 2012. 195 p.
6. Voevoda A.A., Romannikov D.O. Ispol'zovanie UML i vremennykh setei Petri pri razrabotke programmnogo obespecheniya [UML and Timed Petri nets using in the approach of software design]. Sbornik nauchnyh trudov NGTU – Transaction of Scientific Papers of Novosibirsk State Technical University, 2010, no. 3 (61), pp. 61–70.
7. Voevoda A.A., Romannikov D.O. Ispol'zovanie UML i vremennykh setei Petri v metode razrabotki PO. Ch. 2 [Using UML and time Petri nets in software development. Pt. 2]. Sbornik nauchnyh trudov NGTU – Transaction of Scientific Papers of Novosibirsk State Technical University, 2010, no. 4 (62), pp. 117–126.
8. Voevoda A.A., Markov A.V. Metodika avtomatizirovannogo proektirovaniya programmnogo obespecheniya funktsionirovaniya slozhnykh sistem na osnove sovmestnogo ispol'zovaniya UML diagramm i setei Petri [Methodology of computer-aided design software of complex systems based on combined use of UML diagrams and Petri nets]. Sovremennye tekhnologii. Sistemnyi analiz. Modelirovanie – Modern Technologies. System analysis. Modeling, 2014, no. 2 (42), pp. 110–115.
9. Voevoda A.A., Markov A.V., Romannikov D.O. Razrabotka programmnogo obespecheniya: proektirovanie s ispol'zovaniem UML diagramm i setei Petri na primere ASU TP vodonapornoi stantsii [Software development: software design using UML diagrams and Petri nets for example automated process control system of pumping station]. Trudy SPIIRAN – SPIIRAS proceedings, 2014, iss. 3 (34),
pp. 218–231.
10. Markov A.V., Romannikov D.O. Algoritm avtomaticheskoi translyatsii diagrammy aktivnosti v set' Petri [Algorithm of automatic conversion of the activity diagram into Petri-net structure formats]. Doklady Akademii nauk vysshei shkoly Rossiiskoi Federatsii – Proceedings of the Russian higher school Academy of sciences, 2014, no. 1 (31), pp. 104–112.
11. Voevoda A.A., Korotikov S.V., Khassounekh V. O modelirovanii sistemy distantsionnogo kontrolya i upravleniya informatsiei tsvetnoi vremennoi set'yu Petri v pakete CPN Tools: initsializatsiya modeli [About modeling of systems for remote monitoring and information management colored time Petri net in CPN Tools: initialization of model]. Nauchnyi vestnik NGTU – Science Bulletin of Novosibirsk State Technical University, 2004, no. 3 (18), pp. 185–188.
12. Voevoda A.A., Romannikov D.O. Redutsirovanie prostranstva sostoyanii seti Petri dlya ob"ektov iz odnogo klassa [Reducing the state space of Petri nets for objects of one clas]. Nauchnyi vestnik NGTU – Science Bulletin of Novosibirsk State Technical University, 2011, no. 4 (45), pp. 146–150.
13. Markov A.V., Voevoda A.A. Proverka dostizhimosti markirovki setei Petri pri pomoshchi invertirovaniya derev'ev sostoyanii dlya protokola peredachi dannykh [Checking the accessibility of marking Petri nets by inverting state trees for data transmission protocol]. Doklady Tomskogo gosudarstvennogo universiteta sistem upravleniya i radioelektroniki – Proceedings of TUSUR, 2014, no. 1 (31), pp. 143–148.
14. Markov A.V., Voevoda A.A. Inversiya prostoi ordinarnoi seti Petri [Inversion of simple ordinary Petri nets]. Nauchnyi vestnik NGTU – Science Bulletin of Novosibirsk State Technical University, 2013, no. 4 (53), pp. 215–218.
15. Markov A.V. Inversiya setei Petri [Inversion of Petri nets]. Sbornik nauchnyh trudov NGTU – Transaction of Scientific Papers of Novosibirsk State Technical University, 2013, no. 4 (74), pp. 97–121.