ПРИМЕНЕНИЕ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ ДЛЯ РАЗРАБОТКИ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ МОНИТОРИНГА СОСТОЯНИЯ ОБЪЕКТОВ

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 Tech­nical 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 vir­tual 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 sys­tem 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.

 

Ссылка на текст статьи

Текст статьи в журнале

Text of article in journal

 

© 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, в соответствии с которыми третьи лица имеют право копировать и повторно распространять этот материал на любых носителях и в любом формате, а также микшировать, изменять и использовать в качестве основы для любых целей, в том числе коммерческих, при условии, что на оригинальное произведение сделаны должным образом оформленные ссылки и что приведена информация о действующей в отношении него лицензии.

 

Лицензия Creative Commons
Произведение «ПРИМЕНЕНИЕ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ ДЛЯ РАЗРАБОТКИ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ МОНИТОРИНГА СОСТОЯНИЯ ОБЪЕКТОВ 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.