Стр. 8 - Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри
Упрощенная HTML-версия
ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013
8
Рис. 4. Пример сети с циклом
Рис. 5. Пример сети с зацикливанием
