Coverability tree
Перейти к навигации
Перейти к поиску
Coverability tree — покрывающее дерево (сети Петри).
Литература
- Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.