Правильно сформированная сеть Петри - Well-formed Petri net

Правильно сформированные сети Петри площадь Сеть Петри класс, совместно разработанный Парижский университет 6 (Université P. & M. Curie) и Университет Турина в начале 1990-х гг.

Это ограничение сетей высокого уровня (или цветных сетей), введенное К. Йенсеном. Основным преимуществом хорошо сформированных сетей является понятие графа символьной достижимости, состоящего из символические состояния. Символическое состояние - это состояние, представляющее несколько конкретных состояний в пространстве состояний системы, описываемой сетью Петри. Таким образом, могут быть представлены гораздо большие пространства состояний (коэффициент усиления может быть вплоть до экспоненциального). Это понятие символического пространства состояний требует, чтобы был доступен только ограниченный набор операторов (функции идентификации, широковещательной передачи, преемника и предшественника разрешены на круговых конечных типы).

Рекомендации

  • Г. Чиола, Характеристика поведения синхронизированных правильно сформированных сетей Петри с помощью уравнений возникновения. Труды Шестого международного семинара по сетям Петри и моделям производительности, стр. 27, IEEE Computer Society, Вашингтон, округ Колумбия, США. (ISBN  0-8186-7210-2.)