Petri-net-based business process modeling for virtual enterprises | IEEE Conference Publication | IEEE Xplore