Спецификация и моделирование распределенных информационных систем на основе сетей Петри
Автор: Зыбарев , Чернев
Журнал: Проблемы информатики @problem-info
Рубрика: Теоретические и методологические вопросы информатики
Статья в выпуске: 1 (1), 2008 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/14319960
IDR: 14319960
Список литературы Спецификация и моделирование распределенных информационных систем на основе сетей Петри
- Bulgren W.G. Discrete system simulation. -Englewood Cliffs: Prentice-Hall, 1982.
- Bernard P. Zeigler, Tag Gon Kim, Herbert, Theory of Modeling and Simulation. 2 edition, Academic Press, 2007.
- Jensen K. Coloured Petri Nets -Berlin a. o.: Springer-Verlag, 1996.
- Зыбарев Е.Ю., Зыбарев Ю.М. Сети Петри как язык спецификации дискретных систем. Сборник трудов «Теория вычислений и языки спецификаций». -Новосибирск: изд-во ИМ СО РАН, 1995. -С. 186-201.
- Зыбарев Ю.М., Чернев С.П. Спецификация функциональной модели информационного портала сетями Петри, Исследовано в России, 2003.
Статья
