Выдержка из книги
Питерсон Д.N.
Теория сетей петри и моделирование систем
Хотя в исследовании свойств языков сетей Петри сделано уже немало, многое еще предстоит сделать. Из всех определенных классов языков изучены только два - Р - и L-типа, и они только для обычных сетей. Было определено несколько подмножеств множества обычных сетей Петри: маркированные графы, бесконфликтные сети, простые сети, сети со свободным выбором ( гл. Каждый из этих классов сетей Петри, по-видимому, имеет свой класс языков с присущими им отличительными особенностями. Некоторые исследования этих классов уже проведены. Извести о [115], что классы L, Z /, G, Gx, Р и Рх для простых сетей Петри ( без петель и кратных дуг, все комплекты - множества, и для каждого tj I ( tj) Л 0 ( tj) 0) идентичны соответствующим классам для обычных сетей Петри. Нетрудно видеть также, что классы Lx, Gx и Рх не изменятся при ограничении сетей до сетей со свободным выбором ( см. разд. Остаются не изученными еще многие интересные случаи. В частности, языки, порождаемые маркированными графами или в общем случае бесконфликтными сетями, как оказалось, имеют структуру, напоминающую структуру детерминированных контекстно-свободных языков, их исследование многообещающе.