Лекция 11:
Сохраняемость сети Петри
< Лекция 1 || Лекция 11
Аннотация: Данная лекция посвящена сохраняемости сети Петри, а также вопросам построения дерева достижимости. Приводятся определения расширенной разметки, ограниченности сети, безопасной сети и ее покрываемости.
< Лекция 1 || Лекция 11
