Functional abstractions of Petri net models of primary components of flexible manufacturing systems | IEEE Conference Publication | IEEE Xplore