В работе [10] метод развертки был применен к раскрашенным сетям Петри (РСП) [8,9]. Также в [10] было показано, как использовать свойства симметрии и эквивалентности при построении развертки. В работе [1] метод развертки был применен к сетям Петри с интервальным временем. В данной работе метод развертки применяется к РСП с интервальным временем и к РСП со временем, описанным в [8,9]. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета.
- Новости
- Институт
- Выборы директора
- Основная информация
- А.П. Ершов
- История
- Структура института
- Сотрудники
- Ученый совет
- Диссертационный совет
- Сведения об образовательной организации
- Профком ИСИ
- Адрес
- Телефонный справочник, PDF
- ИСИ СО РАН в прессе
- Международное сотрудничество
- Годовые отчеты
- Фотоархив ИСИ
- Видеоархив ИСИ
- Полезные ссылки
- Реквизиты
- Вакансии
- Документы
- Обучение
- Проекты
- Публикации
- О публикациях
- Список публикаций
- Препринты
- Авторефераты
- Сборники статей
- Книги сотрудников ИСИ
- Учебные и методические пособия
- Зарубежные публикации
- Методика определения импакт-фактора научного журнала
- Научно-популярные статьи сотрудников ИСИ в прессе
- ГОСТ Р 7.0.11-2011 - Диссертация и автореферат диссертации
- Как правильно оформлять список литературы
- Рекомендации по подготовке и оформлению статей
- Экспертизы публикаций
- Издания ИСИ
- Конференции
- Библиотека