Generalized Asynchronous Systems
https://doi.org/10.18255/1818-1015-2012-4-78-86
Abstract
The paper consider a mathematical model of a concurrent system, the special case of which is an asynchronous system. Distributed asynchronous automata are introduced here. It is proved that Petri nets and transition systems with independence can be considered as distributed asynchronous automata. Time distributed asynchronous automata are defined in a standard way by correspondence which relates events with time intervals. It is proved that the time distributed asynchronous automata generalize time Petri nets and asynchronous systems.
About the Authors
E. S. Kudryashova
ФГБОУ ВПО “Комсомольский-на-Амуре государственный технический университет”
Russian Federation
аспирант
Russian Federation
аспирант
A. A. Khusainov
ФГБОУ ВПО “Комсомольский-на-Амуре государственный технический университет”
Russian Federation
профессор, доктор физико-математических наук
Russian Federation
профессор, доктор физико-математических наук
References
1. Покозий Е.А. Метод верификации свойств параллелизма временных сетей Петри: Препринт № 61 / Институт Систем Информатики СО РАН. Новосибирск, 1999. 28 с.
2. Вирбицкайте И.Б., Покозий Е.А. Использование техники частичных порядков для верификации временных сетей Петри //Программирование. 1999. №1. С. 28–41.
3. Вирбицкайте И.Б., Покозий Е.А. Метод параметрической верификации поведения временных сетей Петри //Программирование. 1999. №4. С. 16–29.
4. Penczek W., Potrola A. Advances in Verification of Time Petri Nets and Timed Automata. Poland : Springer, 2006.
5. Вирбицкайте И.Б., Дубцов Р.С. Семантические области временных структур событий // Программирование. 2008. №3. С. 3–20.
6. Henzinger T.A., Manna Z., Pnueli A. Timed transition systems // G. Goos, J. Hartmanis, editor, Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, 1991. P. 226–251.
7. Дубцов Р.С. Теоретико-категорные исследования временных систем переходов с независимостью // IX Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям, г. Кемерово, 28-30 октября 2008 года http://www.ict.nsc.ru/ws/YM2008/14295/dubtsov.pdf
8. Кудряшова Е.С. Временные сети Петри для мониторинга группы виртуальных машин // Современное состояние естественных и технических наук: материалы IV Международной науч.-практ. конф., Москва, 10 октября 2011 г. М.: Научный журнал “Естественные и технические науки” и изд-во “Спутник+”, 2011. С. 80–86.
9. Popova-Zeugmann L. Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks // Natural Computing. 2011. 10, N3. P. 1017–1043.
10. Хусаинов А.А. Математическая модель задачи о читателях и писателях // Информационные технологии и высокопроизводительные вычисления: материалы Международной науч.-практ. конф., Хабаровск, 4-6 октября 2011 г. Хабаровск: Изд-во Тихоокеан. гос. ун-та, 2011. С. 327–332.
11. Bednarczyk M.A. Categories of Asynchronous Systems, Ph.D. thesis, University of Sussex, report 1/88, 1988. http://www.ipipan.gda.pl/ emarek
12. Goubault E. Labeled cubical sets and asynchronous transitions systems: an adjunction // Preliminary Proceedings CMCIM’02, 2002. http://www.lix.polytechnique.fr/˜goubault/papers/cmcim02.ps.gz
13. Goubault E., Mimram S. Formal Relationships Between Geometrical and Classical Models for Concurrency, Preprint, arXiv:1004.2818v1 [cs.DC], Cornell Univ., New York, 2010. 15p. http://arxiv.org/abs/1004.2818v1
14. Bachmann J.P., Popova-Zeugmann L. Time-independent Liveness in Time Petri Nets Fundamenta Informaticae, 102 (2010). P. 1–17 http://www2.informatik.hu-berlin.de/ popova/Bachm-Popova.pdf
Review
For citations:
Kudryashova E.S., Khusainov A.A. Generalized Asynchronous Systems. Modeling and Analysis of Information Systems. 2012;19(4):78-86. (In Russ.) https://doi.org/10.18255/1818-1015-2012-4-78-86
Views:
968
Email this article 