ПРИМЕНЕНИЕ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ ДЛЯ РАЗРАБОТКИ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
МОНИТОРИНГА СОСТОЯНИЯ ОБЪЕКТОВ
APPLICATION OF TIME PETRI NETS TO THE
DEVELOPMENT OF REAL TIME SYSTEMS FOR OBJECTS’ STATUS MONITORING
Кудряшова Екатерина Сергеевна - аспирант Комсомольского-на-Амуре государственного технического
университета (Россия, Комсомольск-на-Амуре); 681013, г. Комсомольск-на-Амуре,
пр. Ленина, д. 27; 89638209000.
E-mail:
ekatt@inbox.ru.
Ms. Ekaterina S. Kudryashova
- PhD
Candidate, Komsomolsk-on-Amur State Technical University (Russia,
Komsomolsk-on-Amur); 681013, Komsomolsk-on-Amur, 27, Lenin Pr.; +7 963 8209000.
E-mail: ekatt@inbox.ru
Аннотация. Работа посвящена применению временных сетей Петри для создания программного
обеспечения мониторинга группы виртуальных машин с использованием QNX Neutrino RTOS. В работе рассматривается сущность временных
сетей Петри, их использование для моделирования систем, успешность работы
которых зависит от времени. В работе моделируется функционирование системы
мониторинга в нотации временных сетей Петри, рассматривается алгоритм
разработки программного обеспечения для отслеживания работы сети, с
возможностью получения результатов в режиме реального времени.
Summary. This paper deals with
the issue of using Time Petri Nets to develop software for monitoring virtual
machines using QNX Neutrino RTOS. The paper considers the nature of time Petri
nets and the issue o their application to modeling
systems whose success is time-dependent. The operation of a monitoring system
in the notation of Time Petri Nets is simulated, and the algorithm of
developing specialized software to monitor the network with the opportunity of
obtaining real time results is examined.
Ключевые слова: временные сети Петри, система мониторинга сети, моделирование, системы
реального времени, временные дистрибутивные асинхронные автоматы.
Key words: Time Petri Nets, network
monitoring system, simulation, real-time systems, distributed time asynchronous
automata
«Ученые записки КнАГТУ». № I
- 1(17) 2014 «Науки о природе и технике» с. 40 - 46
«Scholarly Notes of Komsomolsk-na-Amure State Technical University». Issue I - 1(17) 2014
"Engineering and Natural Sciences"
DOI 10.17084/2014.I-1(17).7
References
1. Virbitskaite, I. B. Semanticheskie
oblasti vremennykh struktur sobytii / I. B. Virbitskaite,
R. S. Dubtsov // Programmirovanie. 2008.
№ 3.
S. 3-20.
2. Virbitskaite, I. B. Ispol'zovanie
tekhniki chastichnykh poriadkov dlia verifikatsii vremennykh setei Petri / I. B. Virbitskaite,
E. A. Pokozii // Programmirovanie.
– 1999.
№ 1.
S. 28-41.
3. Virbitskaite, I. B. Metod parametricheskoi verifikatsii povedeniia vremennykh setei Petri / I. B. Virbitskaite,
E. A. Pokozii // Programmirovanie.
– 1999.
№ 4.
S. 16-29.
4. Dubtsov, R. S. Teoretiko-kategornye
issledovaniia vremennykh sistem perekhodov s nezavisimost'iu / R. S. Dubtsov
// IX Vserossiiskaia konferentsiia
molodykh uchenykh po matematicheskomu modelirovaniiu i informatsionnym tekhnologiiam. –
Kemerovo, 2008. – 24 s. http://www.ict.nsc.ru/ws/YM2008/14295/dubtsov.pdf
5. Kudriashova, E. S. Obobshchennye asinkhronnye sistemy / E. S. Kudriashova, A. A. Khusainov // Modelirovanie i analiz informatsionnykh sistem. – 2012. – T. 19. № 4.
S. 78-86.
6. Pokozii, E. A. Metod verifikatsii svoistv parallelizma vremennykh setei Petri / E. A. Pokozii //
Preprint, Institut Sistem Informatiki SO RAN. – Novosibirsk. 1999.
№ 61.
28 s.
7. Treshchev, I. A. Metody postroeniia sistem avtomatizirovannogo rasparallelivaniia
prilozhenii dlia arkhitektur s simmetrichno adresuemoi pamiat'iu / I. A. Treshchev // Uchenye zapiski Komsomol'skogo-na-Amure gosudarstvennogo tekhnicheskogo universiteta. Nauki o prirode i tekhnike.
– 2011.
№ I-1(5). – S. 29-32.
8. Khusainov, A. A. Matematicheskaia
model' zadachi o chitateliakh
i pisateliakh / A. A. Khusainov // Informatsionnye tekhnologii i vysokoproizvoditel'nye
vychisleniia: materialy Mezhdunarodnoi nauch.-prakt. konf.
– Khabarovsk, 2011. S. 327-332.
9. Gonzalez
del Foyo. Using Time Petri
Nets for modeling and verification of timed constrained workflow systems /
Pedro M. Gonzalez del Foyo,
J. R. Silva // ABCM Symposium Series in Mechatronics. vol. 3.
– 2008.
P. 471-478.
10. Henzinger, T. A. Timed transition systems / T. A. Henzinger, Z. Manna, A. Pnueli.
In G. Goos, J. Hartmanis,
editor // Real-Time: Theory in Practice, Lecture Notes in Computer Science 600.
Springer-Verlag. 1991.
P. 226-251.
http://dx.doi.org/10.1007/BFb0031995
11. Penczek, W. Advances in Verification of Time Petri Nets and
Timed Automata / W. Penczek, A. Półrola // Poland: Springer.
vol. 20. – 2006.
P. 7-12.
12. Wegener.
Petri Nets with Time Windows: a comparison to Classical Petri Nets /
Jan-Thierry Wegener, Louchka Popova-Zeugmann
// Fundamenta Informaticae.
– 2009.
№ 93. P. 337-352.
Ссылка на текст
статьи
© 2014 Kudryashova E. S. This
is an Open Access article distributed under the terms of the Russian Index of
Science Citation License http://www.uzknastu.ru/files/forautors/en/License%20Agreement.doc,
allowing third parties to copy and redistribute the material in any medium or
format and to remix, transform, and build upon the material for any purpose,
even commercially, provided the original work is properly cited and states its
license.
© 2014 Кудряшова Е. С.
Данная
статья находится в Открытом Доступе и распространяется на условиях лицензии
Российского Индекса Научного цитирования
http://www.uzknastu.ru/files/forautors/en/License%20Agreement.doc, в
соответствии с которыми третьи лица имеют право копировать и повторно
распространять этот материал на любых носителях и в любом формате, а также
микшировать, изменять и использовать в качестве основы для любых целей, в том
числе коммерческих, при условии, что на оригинальное произведение сделаны
должным образом оформленные ссылки и что приведена информация о действующей в
отношении него лицензии.
Произведение «ПРИМЕНЕНИЕ
ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ ДЛЯ РАЗРАБОТКИ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ МОНИТОРИНГА
СОСТОЯНИЯ ОБЪЕКТОВ APPLICATION OF TIME PETRI NETS TO THE DEVELOPMENT OF REAL
TIME SYSTEMS FOR OBJECTS’ STATUS MONITORING» созданное автором по имени Кудряшова
Е. С. Kudryashova E. S., публикуется на условиях лицензии Creative Commons
«Attribution» («Атрибуция») 4.0 Всемирная.
Основано на произведении с http://www.uzknastu.ru/files/translit/2014/I-1(17)/I-1(17).7.htm.