Heuristic search and concurrency strategy based on Petri net for FMS scheduling | IEEE Conference Publication | IEEE Xplore