Workflow coordination with process interaction

In modern enterprise computing, there are many organizations and their workflows. Usually, different organizations define their workflows themselves separately, and provide interfaces to other workflows from other organizations so that the different organizations can collaborate and cooperate with each other through workflow coordination. For coordinating different workflows from different organizations, we apply a model called Interaction-Oriented Petri Nets (IOPN). This model adopts process interaction between transitions (workflow actions) from different workflows, to coordinate different workflow processes. To assure workflow process and workflow coordination can be executed correctly and completely, soundness is an important property to be considered. This paper presents some necessary conditions about order constraints for the soundness property of IOPN in Internet environments.