The Modelling and Analysis for Distributed Workflow Process using Coloured Petri Nets

Importance of distributed transactional workflows increases recently. As a mechanism to handle them, the DIADEM has been proposed, which constructs nested transactions spread over distributed independent active databases. To model and analyze workflows in the DIADEM, we have already proposed a method using Coloured Petri Nets (CPN). In this paper, we propose special transitions and places for CPN to describe relationships between nodes in the DIADEM clearly. We define a procedure in a design phase and a policy of failure treatments between nodes with the extended CPN. We show that the extended CPN is also applicable for a monitoring phase. We then implement an experimental system to demonstrate usefulness of the proposed method.