Petri nets are a promising methodology for modeling various systems and processes, especially business processes, in particular, document fl ow of technical documentation.The article considers a new methodology for modeling the processes of electronic document management, taking into account the quality of technical documentation using the methodology of temporary Petri nets with deterministic delays in trig-gering transitions. The description of the simplifi ed model of electronic document circulation of technical documentation for devices of railway automation and tele-mechanics based on the apparatus of Petri nets is given. Using the developed sim-plifi ed DCTD model, a method for assessing the quality of technical documentation based on the time parameters of the DCTD process is proposed. The possibility of using the obtained Petri net model as an alternative for performing the verifi cation and validation procedures for the EDDD simulation model is shown.
requirements to models and methods of electronic document circulation of technical documentation, classical Petri nets, deterministic temporary Petri nets, quality of technical documentation, marking, positions, transitions, ribs, developments, conditions, input and output functions
1. Vasilenko M. N. Organizaciya elektronnogo dokumentooborota pri proektirovanii sistem avtomatiki i telemehaniki / M. N. Vasilenko, B. P. Denisov, P. E. Bulavskiy, V. G. Trohov // Izvestiya PGUPS. - 2007. - Vyp. 1. - S. 16-29.
2. Bulavskiy P. E. Metod ocenki vremeni vypolneniya processov i adekvatnosti imitacionnoy modeli elektronnogo dokumentooborota tehnicheskoy dokumentacii / P. E. Bulavskiy, D. S. Markov // Avtomatiki na transporte. - 2014. - T. 2. - № 1. - S. 45-56.
3. Skorodumov P. V. Analiz perspektivnyh rasshireniy setey Petri / P. V. Skorodumov // Nauka i mir. - 2014. - T. 1. - № 10. - S. 66-68.
4. Ustimov K. O. Avtomatizaciya postroeniya ierarhicheskoy imitacionnoy modeli biznes-processov v vide raskrashennyh setey Petri na osnove modeli IDEF0 / K. O. Ustimov // Gornyy informacionno-analiticheskiy byulleten' (nauchno-tehnicheskiy zhurnal). - 2014. - S. 90-94.
5. Ustimov K. O. Algoritm preobrazovaniya IDEF0 modeli v raskrashennuyu set' Petri / K. O. Ustimov, N. V. Fedorov // Gornyy informacionno-analiticheskiy byulleten' (nauchno-tehnicheskiy zhurnal). - 2014. - S. 321-327.
6. Kulagin V. P. Tensor Methods of Designing Computer System Structures / V. P. Kulagin // Automatic Control and Computer Sciences. - N. Y., 1989. - P. 55-61.
7. Frumin D. Branching processes of conservative nested Petri nets / D. Frumin, I. A. Lomazova // VPT 2014. Second International Workshop on Verifi cation and Program Transformation. Vol. 28. - EPiC Series. EasyChair, 2014. - Pr. 19-35.
8. Wang S. A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets / S. Wang, M. C. Zhou, Z. Li, C. Wang // IEEE Trans. on Systems, Man and Cybernetics: Systems. - 2013. - Vol. 43. - N 4, July. - Pp. 932-940.
9. Buchina N. The tool for modeling of wireless sensor networks with nested Petri nets / N. Buchina, L. Dworzanski // Proceedings of 7th the Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE ’13. Institute for System Programming of the Russian Academy of Sciences, 2013. - Pp. 15-18.
10. Cabral F. G., Moreira M. V., Diene O. A petri net diagnoser for discrete event systems modeled by fi nite state automata // Transaction on Automatic Control. - 2015. - Vol. 61. - N 1. - Pp. 59-71.
11. Shen Q. Intermittent fault’s parameter framework and stochastic petri net based formalization model / Q. Shen, J. Qiu, G. Liu, K. Li // Eksploatacja i Niezawodnosc-Maintenance and Reliability. - 2016. - Vol. 18. - N 2. - Pp. 210-217.
12. Ermakova V. O. Translyaciya vlozhennyh setey Petri dlya verifikacii razvertok / V. O. Ermakova, I. A. Lomazova // Trudy ISP RAN. - 2016. - T. 28. - № 4. - S. 115-136.
13. Zelenskiy V. A. Modelirovanie tehnologicheskih processov s pomosch'yu setey Petri / V. A. Zelenskiy, V. P. Konnov, A. I. Schodro // Trudy Vserossiyskoy nauchno-tehnicheskoy konferencii «Aktual'nye problemy radioelektroniki i telekommunikaciy». - Samara : Izd-vo SGAU, 2012. - S. 286-290.
14. Piterson Dzh. Teoriya setey Petri i modelirovanie sistem / Dzh. Piterson ; per. s angl. - M. : Mir, 1984. - 264 s.
15. Murata T. Seti Petri : svoystva, analiz i prilozheniya / T. Murata // Tr. TIIIER ; per. s angl. - 1989. - T. 77. - № 4. - S. 41-79.
16. Frumin D. NPNtool : Modelling and Analysis Toolset for Nested Petri Nets. In Proceedings of the 7th Spring / D. Frumin and L. Dworzanski // Summer Young Researchers Colloquium on Software Engineering. - 2013. - Pp. 9-14.
17. Vil van der Aalast. Upravlenie potokami rabot : modeli i sistemy / Van der Aalast Vil, Van Hey Keys ; per. s angl. V. A. Bashkina, I. A. Lomazovoy. - M. : Fizmatlit, 2007. - 316 s.
18. Vasilenko M. N. Primenenie kompleksa bazovyh imitacionnyh modeley dlya resheniya zadach obespecheniya nadezhnosti i bezopasnosti sistem zheleznodorozhnogo transporta / M. N. Vasilenko, D. S. Markov, N. I. Rubinshteyn // Materialy Vsesoyuznoy konferencii «Modelirovanie sistem i processov upravleniya na transporte». - M. : VNIIZhT, 1991. - S. 76-79.
19. Vasilenko M. N. Imitacionnoe modelirovanie ASU tehnologicheskimi processami na zheleznodorozhnom transporte / M. N. Vasilenko, A. V. Grinenko, D. S. Markov // Materialy nauchno-tehnicheskoy konferencii «Puti povysheniya effektivnosti ispol'zovaniya podvizhnogo sostava» - Gomel' : BelIIZhT, 1983. - S. 52-53.
20. Li X. A survey of research issues and key technology for business process management / X. Li, Y. Y. Du // J. Shandong Univ. Sci. Technol. - 2015. - Vol. 34. - N 1. - Pp. 22-28.
21. Zaycev D. A. Uravnenie sostoyaniy i ekvivalentnye preobrazovaniya vremennyh setey Petri / D. A. Zaycev, A. I. Slepcov // Kibernetika i sistemnyy analiz. -1997. - № 5. - S. 59-76.
22. Bulavskiy P. E. Metod ocenki vremeni na vypolneniya processov elektronnogo dokumentooborota tehnicheskoy dokumentacii / P. E. Bulavskiy, D. S. Markov // Razvitie elementnoy bazy i sovershenstvovanie metodov postroeniya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. ; pod red. Vl. V. Sapozhnikova. - SPb., 2014. - S. 64-69.
23. Bulavskiy P. E. Ocenka kachestva tehnicheskoy dokumentacii na sistemy ZhAT / P. E. Bulavskiy // Avtomatika, svyaz', informatika. - 2011. - № 8. - S. 37-39.
24. Hodakovskiy V. A. Modelirovanie tehnicheskih zadach setyami Petri v srede HPSim / V. A. Hodakovskiy // Aktual'nye voprosy razvitiya sistem zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. ; pod red. Vl. V. Sapozhnikova. - SPb. : Peterburgskiy gos. un-t putey soobscheniya, 2013. - S. 41-51.
25. Zelinskiy V. A. Imitacionnoe modelirovanie proizvodstvennyh processov s pomosch'yu setey Petri / V. A. Zelinskiy, V. P. Kononov, A. I. Schodro // Vestnik Samarskogo gosudarstvennogo aerokosmicheskogo universiteta im. akademika S. P. Koroleva. - 2012. - № 7. - S. 137-142.
