|
Моделирование и анализ информационных систем, 2008, том 15, номер 4, страницы 3–9
(Mi mais111)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Конечные группы автоморфизмов сетей Петри
Ю. А. Белов Ярославский государственный университет
Аннотация:
Для систем помеченных переходов определяются понятия изоморфизма и автоморфизма, в частности, для структурированных систем (WSTS) – понятие монотонного автоморфизма. Показано, как каждому автоморфизму сопоставить некоторое отношение бисимуляции. Доказано, что группа монотонных автоморфизмов сети Петри конечна.
Ключевые слова:
группа автоморфизмов, бисимуляция состояний, монотонный изоморфизм.
Поступила в редакцию: 20.11.2008
Образец цитирования:
Ю. А. Белов, “Конечные группы автоморфизмов сетей Петри”, Модел. и анализ информ. систем, 15:4 (2008), 3–9
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais111 https://www.mathnet.ru/rus/mais/v15/i4/p3
|
Статистика просмотров: |
Страница аннотации: | 304 | PDF полного текста: | 90 | Список литературы: | 65 |
|