Scheduling of Petri nets as a multi-objective shortest path problem | IEEE Conference Publication | IEEE Xplore