58. Множество достижимости сети. Пространство и множество допустимых маркировок.

По Питерсону:

Множество достижимостиесть наименьшее множество маркировок, определенных следующим образом:

1. ;

2. Если идля некоторого, то.

По Красюку:

R(C, ⁰)={ ’: ’ = ⁰ & ’ NⁿT* [ ’ = (⁰, ) ] } –множество достижимых маркировок сети Петри(множество достижимости), где:T*- мн-во всех подмн-в (булеан) мн-ва переходовТ;Nⁿ– множество всех маркировок СП сnпозициями;μ⁰– начальная маркировка, задаваемая разработчиком.

Множество допустимых маркировок – это то же самое, что множество достижимых маркировок: R(C, ⁰).

Пространство допустимых маркировок – это множества достижимости всех начальных маркировок: .