Petri net-based approach to intelligent control synthesis of FMS | IEEE Conference Publication | IEEE Xplore