Method for checking the correctness of the task scheduler of a real-time operating system using Petri nets

Способ проверки корректности планировщика задач операционной системы реального времени с помощью сетей Петри