Главная » Теория вычислительных процессов
1. Понятие дискретной динамической системы. 2. Дискретное время. Дискретная информация. 3. Понятие асинхронного процесса, его траектория. Максимальная траектория. 4. Отношение эквивалентности. Классы эквивалентности. Свойства классов эквивалентности. 5. Асинхронный процесс 6. Конвейерный принцип обработки информации 7. Редукция асинхронного процесса. Свойства редукции 8. Структурирование ситуаций асинхронного процесса 9. Диаграмма переходов. Конфликтная ситуация. Полумодулярная диаграмма переходов. 10. Основная идея теории комплектов, сравнение с теорией множеств. Свойства комплектов 11. Структура сетей Петри. Граф сети Петри. 11.1 Решение задачи покрываемости и достижимости сетей Петри на основе дерева достижимости. 11.2 Решение задачи достижимости с помощью матричного подхода.