CC BY
12Tashkent state transport university
ПРИНЦИПЫ МОДЕЛИРОВАНИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ ИЕРАРХИЧЕСКИХ СЕТЕЙ ПЕТРИ
Ваисов Олег Кахрамонович, Арипов Назиржон Мукарамович,
Мирзаева А.Б.
Ташкентский государственный транспортный университет (Ташкент, Узбекистан)
Аннотация:
Ключевые слова:
В данной статье рассматриваются принципы формализации технологических этапов выполнения операции документооборота технической документации и возможности применение математического аппарата временных цветных сетей Петри, которая строиться на принципе дискретно-событийной парадигмы. А так же произведен критический анализ существующих технологи и принципов создание имитационных моделей таких как, параллельные схемы алгоритмов, матричные схемы алгоритмов и статических моделей IDEF0 и IDEF3. На базе временных цветных сетей Петри разработано упрощенная имитационная модель технологических цепочек электронного документооборота технической документации (ЭДТД). Данная ИМ позволяет оценить качество ЭДТД путем анализа состояния и фиксаций временных параметров выполнения технологических операций, а также, определяются проблемные цепочки технологических процессов при анализе состояния переходов и позиции сетей Петри. электронный документооборот технической документации, временные цветные сети Петри, качество технической документации.
PRINCIPLES OF SIMULATION OF ELECTRONIC DOCUMENT MANAGEMENT OF TECHNICAL DOCUMENTATION USING HIERARCHICAL PETRI NETS
Vaisov Oleg Kaxramonovich, Aripov Nazirjon Mukaramovich,
Mirzayeva A.B.
Tashkent state transport university (Tashkent, Uzbekistan)
Abstract: This article discusses the principles of formalization of the technological stages of the operation of the workflow of technical documentation and the possibility of using the mathematical apparatus of temporary colored Petri nets, which is based on the principle of a discrete-event paradigm. As well as a critical analysis of existing technologies and principles for the creation of simulation models such as parallel schemes of algorithms, matrix schemes of algorithms and static models of IDEF0 and IDEF3. On the basis of temporary colored Petri nets, a simplified simulation model of technological chains of electronic document management of technical documentation (EDTD) has been developed. This IM allows you to evaluate the quality of EDTD by analyzing the state and fixing the time parameters of the execution of technological operations, and also, the problematic chains of technological processes are determined when analyzing the state of transitions and the position of Petri nets.
Key words: electronic document management of technical documentation, temporary colored Petri nets, quality of technical documentation.
Tashkent state transport university
Введение. Для количественной оценки параметров (ЭДТД) систем железнодорожной автоматики и телемеханики (СЖАТ) необходимо выполнение определенных технологических и системных исследований на базе принципов имитационного моделирования. При этом необходимо с учесть следующие особенностей: большинство средств ЭДТД территориальной распределены, этапы разработки технических документов имеют определенный временную продолжительность, большое число участников технологической цепочки обмена информации по проектам СЖАТ, которые решают разнородные задачи [1]. На все технологические цепочки жизненного цикла проектов СЖАТ оказывает влияние качество технической документации (ТД). Под качеством технической документации понимается весь объем признаков, параметров и характеристик ТД, относящийся к ее способности удовлетворять установленным потребностям
Создание автоматизированных технологии создание программных продуктов ЭДТД и ИМ помогающие выполнить оценку его эффективность выполняются на базе концептуальной модели ЭДТД [3]. Кроме того описание модели формируются дополнительно из результатов натурных исследовании реальных процессов ЭДТД в хозяйстве автоматики и телемеханики. Результаты исследований позволяют преобразовать первичные описание с использование IDEF технологии к формализованной схеме, которая в конечном итоге помагают разработать автоматизированную технологию имитационной модели ЭДТД.
Основная часть. В настоящие время в качестве методов формализации технологических процессов широко используется язык параллельных логических схем алгоритмов (ПЛСА) [4-5]. Полученные в результате исследования процессов ЭДТД формализуются с помощью статических моделей IDEF0 и IDEF3. Статические модели формализуются, как логические структуры на ПЛСА, затем формируется матричная схема алгоритмов (МСА). Полученные МСА с определенными модификациями преобразуются в имитационную модель с помощью инструментального средства GPSS WORLD. В связи с отсутствием реализованных на практике автоматизированных процедур перехода от обобщенной формализованной схемы (ОФС) к ИМ, т.е. не реализованные методы и программные средства преобразования ПЛСА в МСА и отсутствием визуального представления схемы технологической линии, отсутствие возможности регулирования темпа автоматического моделирования, невозможность простого отслеживания технологических процессов и медленное пошаговое продвижение транзактов предлагается более простой в способ создания адекватных ИМ технологических процессов ЭДТД [6]. Суть данного способа заключается в формализации технологических цепочек ЭДТД описанных в виде ОФС преобразованием статических моделей IDEF0 в ИМ с использованием специализированных средств и создания имитационных моделей на базе аппарата сетей Петри. Анализ различных существующих
[2].
Iqtisodiyotni raqamlashtirish sharoitida korporativ boshqaruv modellarining transformatsiyasi
Tashkent state transport university
расширений сетей Петри, особенности структуры и возможность оценки времени выполнения процессов ЭДТД с учетом качества технической документации (ТД) показал, что наиболее адекватным расширением СП для синтеза ИМ является временные цветные (раскрашенные) сети Петри (ВЦСП). Временные свойства сетей Петри задаются следующим набором [7]:
ТСРМ = (Р, Т, А, Е, N С, в, Е, I)
где, Р = {р, р,..., рт} - конечное множество позиций, т.е. условий при которых выполниться технологическая операция ЭДТД; Т = {^,^,...,tn} -конечное множество переходов; РиТ = 0 и РпТ = 0; А = {ах,а2,...,а1} -конечное множеством направленных дуг; Е - конечное множество непустых наборов цветов; К- функция узла, определенная из A в Р РхТиТхР; С: Р ^ Е - функция набора цветов, которая назначает цвет для каждого места; в: Т ^ ЕХРЯ - защитная функция, которая назначает защиту для каждого перехода Е: А ^ ЕХРЯ - функция выражения дуги, которая присваивает дуговое выражение каждой дуге; I: Р ^ ЕХРЯ - является функцией инициализации, которая присваивающая выражение инициализации каждому месту р (см. рис.1).
Рис.1. Имитационный модель ЭДТД на базе аппарата временных цветных сетей Петри
Выводы и предложения. На базе аппарата временных цветных сетей Петри и их особенностей выполнена формализация технологических цепочек ЭДТД. С использованием программного обеспечение и среды моделирования CPN Tools и функционального языка программирования ML, построена ИМ, которая позволяет оценить временные параметры выполнения технологических цепочек при создания ТД систем СЖАТ.
Tashkent state transport university
В последующих этапах исследования планируются выполнения имитационных моделей ЭДТД на базе иерархических ВЦСП. Для чего необходимо выполнить ряд следующих исследовании: отыскание временных параметров отдельных технологических цепочек ЭДТД и путем анализа статистической информации; планирование имитационных экспериментов для оценки выбранных показателей качества ЭДТД.
Литературы:
1. Булавский П.Е. Моделирование и оценка времени поиска неисправностей в системах железнодорожной автоматики и телемеханики на базе иерархических цветных сетей Петри / Ваисов О.К // ТРАНСПОРТ: ПРОБЛЕМЫ, ИДЕИ, ПЕРСПЕКТИВЫ: сб. трудов./ LXXX Всероссийской научно-технической конференции студентов, аспирантов и молодых ученых. Федеральное агентство железнодорожного транспорта, Федеральное государственное бюджетное образовательное учреждение высшего образования «Петербургский государственный университет путей сообщения Императора Александра I», 2020. С. 26-31
2. Булавский П. Е. Моделирование и оценка времени поиска и устранения отказов систем железнодорожной автоматики и телемеханики с помощью сетей Петри /П.Е. Булавский, О.К. Ваисов И.Н. Быстров// Автоматика на транспорте. - 2019. - Т.5. - №4. -С.478-492.
3. Jensen, K., Kristensen, L.M. Formal Definition of Timed Coloured Petri Nets. In Coloured Petri Nets; Springer: Berlin/Heidelberg, Germany, 2009; pp. 257-271.
4. S. Wang, M. C. Zhou, Z. Li, and C. Wang, "A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets," IEEE Trans. on Systems, Man, and Cybernetics: Systems, vol. 43, no. 4, pp.932-940, July 2013.
5. Nina Buchina and Leonid Dworzanski. The tool for modeling of wireless sensor networks with nested Petri nets. In Proceedings of 7th the Spring / Summer Young Researchers' Colloquium on Software Engineering, SYRCoSE '13, pages 15-18. Institute for System Programming of the Russian Academy of Sciences, 2013.
6. F. G. Cabral, M. V. Moreira, and O. Diene, "A petri net diagnoser for discrete event systems modeled by finite state automata," Transaction on Automatic Control, vol. 61, no. 1, pp. 59-71, 2015.
7. Dilshod Baratov, Nazirjon Aripov, Obid Muxiddinov, Xasan Jumanov. Synthesis of an Electronic Document Management Model for Technical Documentation // International Journal of Engineering and Advanced Technology (IJEAT) ISSN: 2249 -8958, Volume-9 Issue-5, June 2020 p.1287-1291, doi: 10.35940/ijeat.E1126.069520
