Программирование взаимодействующих гибридных процессов
Аннотация
Обсуждаются основанные на правилах исполняемые спецификации взаимодействующих процессов различной динамики. Приводятся возможные структуры правил трансформации состояний процессов и рассматриваются особенности основанного на этих правилах программирования простых гибридных процессов.Литература
Хо Ючзи Динамика систем с дискретными событиями // ТИИЭР: Труды института по электротехнике и радиоэлектронике. Перевод с английского М: Мир, 1989. Том 77, №1. С. 4–9.
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE.2000. Vol. 88. P. 971–984.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, том 2 . СПб: СПИИРАН, 2002.C. 212–222.
Shpakov V. Situation Based Transition Model for Discrete-Continuous Production Processes Simulation // Proceedings of 9th International Multi-Conference Advanced Computer Systems ACS’02, Supply Chain Management SCM’2002, Miedzyzdroje, Poland, October 23-25, 2002, Part 2. P. 507–514.
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE.2000. Vol. 88. P. 971–984.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, том 2 . СПб: СПИИРАН, 2002.C. 212–222.
Shpakov V. Situation Based Transition Model for Discrete-Continuous Production Processes Simulation // Proceedings of 9th International Multi-Conference Advanced Computer Systems ACS’02, Supply Chain Management SCM’2002, Miedzyzdroje, Poland, October 23-25, 2002, Part 2. P. 507–514.
Опубликован
2004-04-01
Как цитировать
Шпаков,. (2004). Программирование взаимодействующих гибридных процессов. Труды СПИИРАН, 1(2), 294-303. https://doi.org/10.15622/sp.2.22
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
