By simplifying the automatic machine, a formal specification of corresponding real-time system was given, and the system in a more laborsaving way was analyzed.

• 对自动机的状态进行化简和归并，大大降低了讨论实时调度问题的复杂度。