A scheduling framework based on Petri net modeling and sequential Lagrangian relaxation approach | IEEE Conference Publication | IEEE Xplore