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