Multilevel modeling of manufacturing processes using object oriented Petri nets and advanced knowledge representation | IEEE Conference Publication | IEEE Xplore