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

Другие предметы Колледж Безопасность сетей Петри безопасность сети Петри позиция сети Петри начальная маркировка фишки в позиции свойства аппаратного обеспечения задачи по безопасности теория информационных процессов безопасность в информационных системах сеть Петри маркировка в сети Петри Новый