Petri-net-based business process modeling for virtual enterprises · Study