Сборники трудов ИСП РАН


О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри.

Л.В. Дворянский.

Аннотация

В статье проведен анализ моделирования в обыкновенных сетях Петри счетчиков с бесконечным числом состояний. Обоснован выбор отношения эквивалентности симуляции готовности в качестве отношения реализации для моделирования счётчиков. Показано, что в сетях Петри невозможно промоделировать счётчики с бесконечным числом состояний. Представлена минимальная модель счётчика с конечным числом значений.

Ключевые слова

счётчиковые машины; сети Петри; спектр фон Глэббика; отношение эквивалентности симуляции готовности

Издание

Труды Института системного программирования РАН, том 20, 2011, стр. 71-94.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома