Рассмотрим задачу по безопасности в сети Петри. Позиция piÎ P сети Петри С = (P, Т, I, О) с начальной маркировкой μ является безопасной, если μ' (pi) ≤ 1 для любой μ' Î R(C, μ). Сеть Петри безопасна, если безопасна каждая ее позиция. Безопасность –
очень важное свойство для устройств аппаратного обеспечения. Если позиция безопасна, то чему равно число фишек в ней?
Другие предметы Колледж Безопасность в сетях Петри безопасность сети Петри позиция в сети Петри маркировка в сети Петри число фишек в позиции свойства сети Петри задачи по безопасности теория информационных процессов колледж аппаратное обеспечение анализ сети Петри
В данной задаче нам нужно разобраться с понятием безопасности в сети Петри. Давайте рассмотрим, что значит, что позиция pi является безопасной.
Определение безопасности:
Это значит, что в безопасной позиции может быть либо 0, либо 1 фишка. Если в позиции будет больше 1 фишки, то это нарушит условие безопасности.
Теперь давайте проанализируем возможные варианты:
Итак, можно сделать вывод:
Число фишек в безопасной позиции может быть либо 0, либо 1. Таким образом, правильный ответ на вопрос о том, чему равно число фишек в безопасной позиции, – это:
Таким образом, позиция может быть безопасной только при наличии 0 или 1 фишки. Если фишек больше 1, позиция уже не будет безопасной.