Modeling distributed business processes of virtual enterprises based on the object-oriented approach and Petri nets | IEEE Conference Publication | IEEE Xplore