Simulation Based Scheduling Applying Petri Nets with Sequences and Priorities | IEEE Conference Publication | IEEE Xplore