Хотя в исследовании свойств языков сетей Петри сделано уже немало, многое еще предстоит сделать. Из ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Питерсон Д.N. Теория сетей петри и моделирование систем


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

(cкачать страницу)

Смотреть книгу на libgen

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