Обобщенные асинхронные системы


https://doi.org/10.18255/1818-1015-2012-4-78-86

Полный текст:


Аннотация

Работа посвящена математической модели параллельной системы, частным случаем которой является асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы переходов с отношением независимости можно рассматривать как дистрибутивные асинхронные автоматы. Стандартным образом, посредством отображения, сопоставляющего событиям временные интервалы, определяются временные дистрибутивные асинхронные автоматы. Доказано, что временные дистрибутивные асинхронные автоматы обобщают временные сети Петри и асинхронные системы.


Об авторах

Екатерина Сергеевна Кудряшова
ФГБОУ ВПО “Комсомольский-на-Амуре государственный технический университет”
Россия
аспирант


Ахмет Аксанович Хусаинов
ФГБОУ ВПО “Комсомольский-на-Амуре государственный технический университет”
Россия
профессор, доктор физико-математических наук


Список литературы

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


Дополнительные файлы

Для цитирования: Кудряшова Е.С., Хусаинов А.А. Обобщенные асинхронные системы. Моделирование и анализ информационных систем. 2012;19(4):78-86. https://doi.org/10.18255/1818-1015-2012-4-78-86

For citation: 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

Просмотров: 274

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)