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

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