Decomposition of timed Petri Nets for Solving Scheduling Problems with Multiple Entities | IEEE Conference Publication | IEEE Xplore