Design of the Scheduler using the Division Algorithm Based on the Time Petri net