Сети Петри являются перспективной методологией моделирования различных систем и процессов, в особенности бизнес-процессов в частности документооборота технической документации. В статье рассмотрена новая методика моделирования процессов электронного документооборота с учетом качества технической документации при помощи методологии временных сетей Петри с детерминированными задержками на срабатывания переходов. При-ведено описание упрощенной модели электронного документооборота технической документации на устройства железнодорожной автоматики и телемеханики на основе аппарата сетей Петри. Упрощенная модель помогла разработать метод оценки качества технической документации на основе временных параметров процесса электронного документооборота. Показана возможность использования полученной модели сети Петри в качестве альтернатив-ной для выполнения процедур верификации и валидации имитационной модели электронного документооборота.
требования к моделям и методам электронного документооборота технической документации, классические сети Петри, детерминированные временны´е сети Петри, качество технической документации, маркировка, позиции, переходы, ребра, события, условия, входные и выходные функции
1. Василенко М. Н. Организация электронного документооборота при проектировании систем автоматики и телемеханики / М. Н. Василенко, Б. П. Денисов, П. Е. Булавский, В. Г. Трохов // Известия ПГУПС. - 2007. - Вып. 1. - С. 16-29.
2. Булавский П. Е. Метод оценки времени выполнения процессов и адекватности имитационной модели электронного документооборота технической документации / П. Е. Булавский, Д. С. Марков // Автоматики на транспорте. - 2014. - Т. 2. - № 1. - С. 45-56.
3. Скородумов П. В. Анализ перспективных расширений сетей Петри / П. В. Скородумов // Наука и мир. - 2014. - Т. 1. - № 10. - С. 66-68.
4. Устимов К. О. Автоматизация построения иерархической имитационной модели бизнес-процессов в виде раскрашенных сетей Петри на основе модели IDEF0 / К. О. Устимов // Горный информационно-аналитический бюллетень (научно-технический журнал). - 2014. - С. 90-94.
5. Устимов К. О. Алгоритм преобразования IDEF0 модели в раскрашенную сеть Петри / К. О. Устимов, Н. В. Федоров // Горный информационно-аналитический бюллетень (научно-технический журнал). - 2014. - С. 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. - Pр. 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. Ермакова В. О. Трансляция вложенных сетей Петри для верификации разверток / В. О. Ермакова, И. А. Ломазова // Труды ИСП РАН. - 2016. - Т. 28. - № 4. - С. 115-136.
13. Зеленский В. А. Моделирование технологических процессов с помощью сетей Петри / В. А. Зеленский, В. П. Коннов, А. И. Щодро // Труды Всероссийской научно-технической конференции «Актуальные проблемы радиоэлектроники и телекоммуникаций». - Самара : Изд-во СГАУ, 2012. - С. 286-290.
14. Питерсон Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон ; пер. с англ. - М. : Мир, 1984. - 264 с.
15. Мурата Т. Сети Петри : свойства, анализ и приложения / Т. Мурата // Тр. ТИИИЭР ; пер. с англ. - 1989. - Т. 77. - № 4. - С. 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. Вил ван дер Ааласт. Управление потоками работ : модели и системы / Ван дер Ааласт Вил, Ван Хей Кейс ; пер. с англ. В. А. Башкина, И. А. Ломазовой. - М. : Физматлит, 2007. - 316 с.
18. Василенко М. Н. Применение комплекса базовых имитационных моделей для решения задач обеспечения надежности и безопасности систем железнодорожного транспорта / М. Н. Василенко, Д. С. Марков, Н. И. Рубинштейн // Материалы Всесоюзной конференции «Моделирование систем и процессов управления на транспорте». - М. : ВНИИЖТ, 1991. - С. 76-79.
19. Василенко М. Н. Имитационное моделирование АСУ технологическими процессами на железнодорожном транспорте / М. Н. Василенко, А. В. Гриненко, Д. С. Марков // Материалы научно-технической конференции «Пути повышения эффективности использования подвижного состава» - Гомель : БелИИЖТ, 1983. - С. 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. Зайцев Д. А. Уравнение состояний и эквивалентные преобразования временных сетей Петри / Д. А. Зайцев, А. И. Слепцов // Кибернетика и системный анализ. -1997. - № 5. - С. 59-76.
22. Булавский П. Е. Метод оценки времени на выполнения процессов электронного документооборота технической документации / П. Е. Булавский, Д. С. Марков // Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики : сб. науч. тр. ; под ред. Вл. В. Сапожникова. - СПб., 2014. - С. 64-69.
23. Булавский П. Е. Оценка качества технической документации на системы ЖАТ / П. Е. Булавский // Автоматика, связь, информатика. - 2011. - № 8. - С. 37-39.
24. Ходаковский В. А. Моделирование технических задач сетями Петри в среде HPSim / В. А. Ходаковский // Актуальные вопросы развития систем железнодорожной автоматики и телемеханики : сб. науч. тр. ; под ред. Вл. В. Сапожникова. - СПб. : Петербургский гос. ун-т путей сообщения, 2013. - С. 41-51.
25. Зелинский В. А. Имитационное моделирование производственных процессов с помощью сетей Петри / В. А. Зелинский, В. П. Кононов, А. И. Щодро // Вестник Самарского государственного аэрокосмического университета им. академика С. П. Королёва. - 2012. - № 7. - С. 137-142.
