ХАРАКТЕРИЗАЦИОННЫЙ АНАЛИЗ СВОЙСТВ СЕТЕЙ ПЕТРИ
Рассмотрены принципы характеризационного анализа сложных систем в задачах систем автоматизированного проектирования и применение данной методологии для анализа свойств сетей Петри: безопасность, ограниченность и сохранение.
Ключевые слова
Характеризационный анализ, системы автоматизированного проектирования, сети Петри, безопасность, ограниченность, сохранение.
Номер: 3
Год: 2016
ISBN:
UDK: 519.74
DOI:
Авторы: Федоров Н. В.
Информация об авторах: Федоров Николай Владимирович – кандидат технических наук,
доцент, зав. кафедрой,
Московский государственный индустриальный университет.
Библиографический список: 1. Горбатов В. А. Фундаментальные основы дискретной математики. – М.: Наука. Физматлит, 1999. – 544 с.
2. Питерсон Дж. Теория сетей Петри и моделирование систем: Пер. с англ. – М.: Мир, 1984. – 264 с.
3. Федоров Н. В., Игнатов О. Н. Метод имитационного моделирования инвестиционных проектов на основе динамических продуцирующих сетей // Горный информационно-аналитический бюллетень. – 2010. – № 7. – C. 128–136.
4. Устимов К. О., Федоров Н. В. Автоматизация построения имитационной модели бизнес-процессов на основе методологии IDEF0 и раскрашенных сетей Петри // Горный информационно-аналитический бюллетень. – 2013. – № 12. – C. 90–94.
5. Горбатов В. А., Крылов А. В., Федоров Н. В. САПР систем логического управления. – М.: Энергоатомиздат, 1988. – 231 с.
6. Федоров Н. В. Математическое и имитационное моделирование сложных систем. Учебное пособие. – М.: МГИУ, 2014. – 252 с.