Хорошо сформированная сеть Петри
 | Эта статья в значительной степени или полностью опирается на один источник . ( апрель 2024 г. ) |
Хорошо сформированные сети Петри представляют собой класс сетей Петри , совместно разработанный Парижским университетом 6 (Университет П. и М. Кюри) и Туринским университетом в начале 1990-х годов.
Это ограничение сетей высокого уровня (или цветных сетей), введенных К. Йенсеном. Основным преимуществом хорошо сформированных сетей является понятие символьного графа достижимости, состоящего из символических состояний . Символическое состояние — это состояние, представляющее несколько конкретных состояний в пространстве состояний системы, описываемой сетью Петри. Таким образом, могут быть представлены гораздо большие пространства состояний (коэффициент усиления может достигать экспоненциального значения).Это понятие символического пространства состояний требует, чтобы был доступен только ограниченный набор операторов (функции идентификации, трансляции, преемника и предшественника разрешены для циклических конечных типов).
Ссылки
[ редактировать ]- Г. Чиола, Характеристика поведения корректных по времени правильных сетей Петри с помощью уравнений вхождения . Материалы шестого международного семинара по сетям Петри и моделям производительности , стр. 27, Компьютерное общество IEEE , Вашингтон, округ Колумбия, США. ( ISBN 0-8186-7210-2 .)
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |