Verification of itineraries for mobile agent enabled interorganizational workflow

We apply mobile agents to synchronize workflows of different organizations resulting in an interorganizational workflow. The paper models agent enabled interorganizational workflows using interorganizational workflow nets. This model provides a means to verify the correctness (and, so the viability) of the itineraries of agents used in enacting interorganizational workflows. We also outline an algorithm for our verification method We believe that our formal apparatus provides a sound basis for building mobile agent enabled interorganizational workflows that work