Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net

In this paper, an approach based on WorkFlow nets and on possibilistic Petri nets is proposed to deal with non-conformance in Business Processes. Routing patterns existing in Business Processes are modeled by WorkFlow nets. To express in a more realistic way the uncertainty attached to human activities, possibilistic Petri nets with uncertainty on the marking and on the transition firing are considered. Combining both formalisms, a kind of possibilistic WorkFlow net is obtained. An example of inconsistency recovery at a process monitoring level due to human behavior in a "Handle Complaint Process" is presented.