Shop Scheduling with Time Lags Based on Petri Nets and Heuristic Search | IEEE Conference Publication | IEEE Xplore