maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-4-78-86mais-44Research ArticleОригинальные статьиArticlesОбобщенные асинхронные системыGeneralized Asynchronous SystemsКудряшоваЕкатерина СергеевнаKudryashovaE. S.

аспирант

аспирант

ekatt@inbox.ruХусаиновАхмет АксановичKhusainovA. A.

профессор, доктор физико-математических наук

профессор, доктор физико-математических наук

ekatt@inbox.ruФГБОУ ВПО “Комсомольский-на-Амуре государственный технический университет”РоссияФГБОУ ВПО “Комсомольский-на-Амуре государственный технический университет”Russian Federation2012280220151947886Copyright © Кудряшова Е.С., Хусаинов А.А., 20152015Кудряшова Е.С., Хусаинов А.А.Kudryashova E.S., Khusainov A.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/44

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

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.

асинхронные автоматыасинхронные системысистемы переходов с отношением независимостивременные сети Петриasynchronous automataasynchronous systemstransition systems with independencetime Petri netsПрограмма стратегического развития государственных образовательных учреждений высшего профессионального образованияReferencesПокозий Е.А. Метод верификации свойств параллелизма временных сетей Петри: Препринт № 61 / Институт Систем Информатики СО РАН. Новосибирск, 1999. 28 с.Покозий Е.А. Метод верификации свойств параллелизма временных сетей Петри: Препринт № 61 / Институт Систем Информатики СО РАН. Новосибирск, 1999. 28 с.Вирбицкайте И.Б., Покозий Е.А. Использование техники частичных порядков для верификации временных сетей Петри //Программирование. 1999. №1. С. 28–41.Вирбицкайте И.Б., Покозий Е.А. Использование техники частичных порядков для верификации временных сетей Петри //Программирование. 1999. №1. С. 28–41.Вирбицкайте И.Б., Покозий Е.А. Метод параметрической верификации поведения временных сетей Петри //Программирование. 1999. №4. С. 16–29.Вирбицкайте И.Б., Покозий Е.А. Метод параметрической верификации поведения временных сетей Петри //Программирование. 1999. №4. С. 16–29.Penczek W., Potrola A. Advances in Verification of Time Petri Nets and Timed Automata. Poland : Springer, 2006.Penczek W., Potrola A. Advances in Verification of Time Petri Nets and Timed Automata. Poland : Springer, 2006.Вирбицкайте И.Б., Дубцов Р.С. Семантические области временных структур событий // Программирование. 2008. №3. С. 3–20.Вирбицкайте И.Б., Дубцов Р.С. Семантические области временных структур событий // Программирование. 2008. №3. С. 3–20.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.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.Дубцов Р.С. Теоретико-категорные исследования временных систем переходов с независимостью // IX Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям, г. Кемерово, 28-30 октября 2008 года http://www.ict.nsc.ru/ws/YM2008/14295/dubtsov.pdfДубцов Р.С. Теоретико-категорные исследования временных систем переходов с независимостью // IX Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям, г. Кемерово, 28-30 октября 2008 года http://www.ict.nsc.ru/ws/YM2008/14295/dubtsov.pdfКудряшова Е.С. Временные сети Петри для мониторинга группы виртуальных машин // Современное состояние естественных и технических наук: материалы IV Международной науч.-практ. конф., Москва, 10 октября 2011 г. М.: Научный журнал “Естественные и технические науки” и изд-во “Спутник+”, 2011. С. 80–86.Кудряшова Е.С. Временные сети Петри для мониторинга группы виртуальных машин // Современное состояние естественных и технических наук: материалы IV Международной науч.-практ. конф., Москва, 10 октября 2011 г. М.: Научный журнал “Естественные и технические науки” и изд-во “Спутник+”, 2011. С. 80–86.Popova-Zeugmann L. Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks // Natural Computing. 2011. 10, N3. P. 1017–1043.Popova-Zeugmann L. Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks // Natural Computing. 2011. 10, N3. P. 1017–1043.Хусаинов А.А. Математическая модель задачи о читателях и писателях // Информационные технологии и высокопроизводительные вычисления: материалы Международной науч.-практ. конф., Хабаровск, 4-6 октября 2011 г. Хабаровск: Изд-во Тихоокеан. гос. ун-та, 2011. С. 327–332.Хусаинов А.А. Математическая модель задачи о читателях и писателях // Информационные технологии и высокопроизводительные вычисления: материалы Международной науч.-практ. конф., Хабаровск, 4-6 октября 2011 г. Хабаровск: Изд-во Тихоокеан. гос. ун-та, 2011. С. 327–332.Bednarczyk M.A. Categories of Asynchronous Systems, Ph.D. thesis, University of Sussex, report 1/88, 1988. http://www.ipipan.gda.pl/ emarekBednarczyk M.A. Categories of Asynchronous Systems, Ph.D. thesis, University of Sussex, report 1/88, 1988. http://www.ipipan.gda.pl/ emarekGoubault E. Labeled cubical sets and asynchronous transitions systems: an adjunction // Preliminary Proceedings CMCIM’02, 2002. http://www.lix.polytechnique.fr/˜goubault/papers/cmcim02.ps.gzGoubault E. Labeled cubical sets and asynchronous transitions systems: an adjunction // Preliminary Proceedings CMCIM’02, 2002. http://www.lix.polytechnique.fr/˜goubault/papers/cmcim02.ps.gzGoubault 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.2818v1Goubault 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.2818v1Bachmann 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.pdfBachmann 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

The authors declare that there are no conflicts of interest present.