1 
2
Шаг 19. Приложение "Редактор сетей Петри". Основные элементы интерфейса
Шаг 20. Приложение "Редактор сетей Петри". Работа с программой
Шаг 21. Анализ сетей Петри. Безопасность сети Петри
Шаг 22. Анализ сетей Петри. Сохранение сети Петри
Шаг 23. Анализ сетей Петри. Активность сети Петри
Шаг 24. Анализ сетей Петри. Достижимость и покрываемость
1
2