The use of object-oriented Petri nets in design specification of enterprise modelling | IEEE Conference Publication | IEEE Xplore