Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes

In this paper, an approach based on WorkFlow nets and possibilistic Petri nets is proposed for dealing with the cancellation features in business processes. Routing patterns existing in business processes are modeled by WorkFlow nets. Possibilistic Petri nets with uncertainty in the marking and the transition firing are used to deal with all possible markings when cancellation behaviour is considered. Combining both formalisms, a kind of possibilisticWorkFlow net is obtained. An example of a simplified version of a credit card application process is presented.