Generalized Asynchronous Systems
https://doi.org/10.18255/1818-1015-2012-4-78-86
Abstract
About the Authors
E. S. KudryashovaRussian Federation
аспирант
A. A. Khusainov
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