Coverability tree: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Новая страница: «'''Coverability tree''' --- покрывающее дерево (сети Петри).») |
(нет различий)
|
Версия от 15:26, 15 марта 2011
Coverability tree --- покрывающее дерево (сети Петри).