A petri net-based modeling and scheduling with a branch and bound algorithm | IEEE Conference Publication | IEEE Xplore