Petri net models and functional abstractions: applications to the design of automated manufacturing systems | IEEE Conference Publication | IEEE Xplore