ВУЗ:
Составители:
позициях означают либо выполнение, какого-либо условия, например пере-
дачу управления некоторому блоку, либо непосредственно соответствуют
некоторым материальным объектам или информационным единицам. Это
накладывает определенные требования на максимально возможное количе-
ство меток в позициях сети. Подобные требования накладываются на сеть
Петри и при аппаратурной ее реализации. Позиция сети может реализовы-
ваться
счетчиком, состояние которого говорит о количестве меток в пози-
ции. Поэтому для адекватной работы такой аппаратурно-реализованной сети
Петри необходимо, чтобы число меток в позиции не превышало максималь-
но представимого счетчиком числа. Эти соображения приводят к понятию
ограниченности сети.
Позиция р
i
сети Петри C = 〈P, T, I, O〉 с начальной маркировкой µ назы-
вается n-ограниченной, если число меток в ней не может превышать целого
числа n, или
µ'(р
i
) ≤ n, ∀ µ' ∈ R(c, µ),
где R(c, µ) – множество всех достижимых из начальной маркировки марки-
ровок (множество достижимости).
Каждая позиция может иметь свое значение n, если такое n вообще су-
ществует. Сеть Петри ограничена, если ограничены все ее позиции. Если n –
максимальное число меток, которое может
быть в одной позиции ограни-
ченной сети Петри, то сеть называют n ограниченной. Ограниченную сеть
можно реализовать аппаратно. Особый интерес представляют один ограни-
ченные позиции и сети, которые получили название безопасных. Безопас-
ные позиции можно реализовать аппаратурно, используя для этого тригге-
ры. Кроме того, безопасные позиции можно интерпретировать как логиче-
ские
условия: при наличии в них метки условие выполняется, при отсутст-
вии – нет.
Как было показано выше, сети Петри можно использовать для модели-
рования систем распределения ресурсов. Например, сеть может моделиро-
35
Страницы
- « первая
- ‹ предыдущая
- …
- 35
- 36
- 37
- 38
- 39
- …
- следующая ›
- последняя »
