Assembly systems control models translation in an object oriented language environment using object oriented Petri nets hierarchical formalism | IEEE Conference Publication | IEEE Xplore