Systematic construction of functional abstractions of Petri net models of flexible manufacturing systems | IEEE Journals & Magazine | IEEE Xplore