Multi-agent Scheduling System Modeling and Simulation Based on Hierarchical Timed Colored Petri Net | IEEE Conference Publication | IEEE Xplore