Иванов, А.А. Автоматизация технологических процессов и производств

3 .2 . Им и тационное моделирование о б ъе к то в ... 65 Таблица 3.2. Матрица выходных инциденций / / Pi Pi Pi Р4 Pi Һ 0 0 1 2 0 Һ 1 0 0 0 1 и 1 1 0 0 0 и 0 0 0 1 0 Возможные варианты функционирования сети Петри описыва­ ются с помощью графа достижимости, вершинами которого являют­ ся возможные маркировки (рис. 3.4). Если для некоторой маркировки ни один из переходов / сработать не может, то такая маркировка на­ зывается тупиковой. (1,1,0,0,0) I'1 (1,0,0.3,0) (2,1,0,1,1) (0,0,2,3,0) (2,2,1,0,0) ■4 у „ \ 4 ’ V Ч У \ ! Рис. 3.4. Фрагмент графа достижимости Множество всех маркировок, достижимых из начальной ц0, назы­ вается множеством достижимости сети Петри и обозначается R(N)- Рассмотрим основные переходы фрагмента графа достижимости (см. рис. 3.4). 1. Произошло событие t{ (переход /, открылся). Маркеры из пози­ ций рх и р2 перешли в позиции р2 (1 метка) и р4 (2 метки, так как в р4 входят 2 дуги). 2. Затем, если сработал переход t2, то 1метка из р2 вернется в р { и 1метка попадет в р$ (генерация меток). 3. Если вместо t2 сработает переход ?3, то 1 метка вернется в р х и 1метка —в р2. По одной метке остается в р2 и в р4. 4. После срабатывания перехода t4 (при открытых rt и t2) 1метка остается в р х (циркуляция по кругу), отсутствуют метки в р2, р2я р 5. К двум меткам в р4 добавится 1 метка из р5 (в р5 будет 3 метки).