Research on workflow model based on Petri net with reset arcs

Abstract

To satisfy the workflow modeling requirements in the ability of powerful expression, a method by adding reset arc to extend the workflow model has been put forward, and the formal representation is proposed in this paper. Then, the soundness analysis of this method is researched by using an insurance claim model and reachability graph. Therefore, this method improved the power of describing workflow model of WF-net, especially cancellation feature which was not supported by most Petri net models.