Сети Петри как инструмент проверки корректности параллельных процессов. Разработка учебно-методических материалов.
Аннотация
ДЕДЛОК, ЗАВИСАНИЕ, НЕДЕТЕРМИНИРОВАННОСТЬ, ПГСА, СЕТЬ ПЕТРИ, КОРРЕКТНОСТЬ, ПАРАЛЛЕЛЬНЫЕ ПРОЦЕССЫ.
В данной работе объектом исследования являются параллельные процессы.
Целью данной работы является разработка учебно-методических материалов по теме «Сети Петри как инструмент проверки корректности параллельных процессов».
В ходе работы были рассмотрены параллельные процессы, основные причины их не корректности, и пути устранения проблем. Использование сетей Петри как инструмент проверки параллельных процессов на корректность.
В результате проделанной работы были разработаны тестовые задания на эту тему для учащихся, что бы они смогли закрепить изученный материал.
В данной работе объектом исследования являются параллельные процессы.
Целью данной работы является разработка учебно-методических материалов по теме «Сети Петри как инструмент проверки корректности параллельных процессов».
В ходе работы были рассмотрены параллельные процессы, основные причины их не корректности, и пути устранения проблем. Использование сетей Петри как инструмент проверки параллельных процессов на корректность.
В результате проделанной работы были разработаны тестовые задания на эту тему для учащихся, что бы они смогли закрепить изученный материал.