Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets

Procedure 1

procedure IsT-component(, ) {

  in ;

 ;

 if () then

  for (each ) do  {

   ;

   IsT-component(, );

   };

 else if () then  {

  output();

  exit(0);

  };

 };