Leiliane Pereira de Rezende

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.

Possibilistic WorkFlow nets to deal with non-conformance in process execution

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 Process 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 deviation at a process monitoring level due to human behavior in a “Handle Complaint Process” is presented.

An Approach Based on Possibilistic WorkFlow Nets to Model Multiplayer Video Games

In this paper, an approach based on Possibilistic WorkFlow nets is proposed to model mutiplayer game scenarios. In a multiplayer game scenario, the actions of a player may influence, directly or indirectly, the actions of other players. This type of interaction may change the normal flow of activities in the game causing eventually then an uncertain behavior. In this work, the routing structure of WorkFlow nets to model the activities of a multiplayer video game is used. The uncertain reasoning of a possibilistic Petri net is then used to represent the possible interactions between the players. The resulting model (Multiplayer Game activity Model) can then simulate and analyze (qualitatively and quantitatively) the game’s behavior in terms of its gameplay. The video game Tom Clancy’s Ghost Recon: Wildlands is used to illustrate the proposed approach.

Uncertain Marking for Dealing with Partial Parallelization in Business Processes

In this paper, an approach based on WorkFlow nets and possibilistic Petri nets is proposed for dealing with flow deviations 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 considered to express in a more realistic way the ordering of human activities during real time execution of the process model. Combining both formalisms, a kind of possibilistic WorkFlow net is obtained. An example of flow deviations due to human behavior at a process monitoring level is presented.

Modeling a Fuzzy Resource Allocation Mechanism based on Workflow Nets

Colored Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets with the expressive power of programming languages, data types and diverse abstraction levels. This work proposes the use of Hierarchical Colored Petri Nets and CPN Tools to model a Workflow net with fuzzy sets delimited by possibility distributions associated with the Petri net models that represent human type resource allocation mechanisms. Additionally, the duration of activities that appear on the routes (control structure) of the Workflow process, will be represented by fuzzy time intervals. Besides, firing rules based on a joint possibility distribution will be used in order to express in a more realistic way the resource allocation mechanisms when human behavior is considered in Workflow activities.

Fuzzy Resource Allocation Mechanisms in Workflow Nets

The purpose of Workflow Management Systems is to execute Workflow processes. Workflow processes represent the sequence of activities that have to be executed within an organization to treat specific cases and to reach a well-defined goal. Therefore, it is to manage in the best possible way time and resources. The proposal of this work is to express in a more realistic way the resource allocation mechanisms when human behavior is considered in Workflow activities. In order to accomplish this, fuzzy sets delimited by possibility distributions will be associated with the Petri net models that represent human type resource allocation mechanisms. Additionally, the duration of activities that appear on the routes (control structure) of the Workflow process, will be represented by fuzzy time intervals produced through a kind of constraint propagation mechanism. New firing rules based on a joint possibility distribution will then be defined.

Resource Allocation Mechanisms and Time Constraint Propagation Techniques in Fuzzy Workflow Nets

The main objective behind Workflow systems is to support the definition, execution and control of Workflow processes. A Workflow process defines a set of activities and the specific order in which they should be executed, in order to reach a common objective. Therefore, it is important to manage in the best possible way time and resources. The proposal of this work is to express in a more realistic way the resource allocation mechanisms when human behavior is considered in Workflow activities. In order to accomplish this, fuzzy sets delimited by possibility distributions will be associated with the Petri net models that represent human type resource allocation mechanisms. Additionally, the duration of activities that appear on the routes (control structure) of the Workflow process, will be represented by fuzzy time intervals. To define the execution of activities belongings to minimum and maximum intervals, a time constraint propagation mechanism is proposed. New firing rules based on a joint possibility distribution will then be defined.

Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes

Soundness property is an important criterion which needs to be satisfied when treating workflow processes. However, a significant part of industrial business process models is not in fact sound, which can lead to deadlock situations due to message ordering mismatches, for example. In order to avoid deadlock situation in interorganizational business processes, an approach based on Siphon structures, possibilistic Petri nets and interorganizational WorkFlow nets is proposed. A deadlock situation is characterized by an insufficiently marked Siphon. Possibilistic Petri nets with uncertainty on the marking and on the transition firing are used to ensure the existence of at least one transition firing sequence enabling the completion of the process without encountering the deadlock situation. Routing patterns and communication protocols that exist in business processes are modeled by interorganizational WorkFlow nets. Combining these formalisms, a kind of possibilistic WorkFlow net is obtained.

Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net

In this paper, an approach based on Siphon structures, possibilistic Petri nets and interorganizational WorkFlow nets is proposed to deal with deadlock situations in interorganizational business processes. A deadlock situation is characterized by an insufficiently marked Siphon. Possibilistic Petri nets with uncertainty on the marking and on the transition firing are used to ensure the existence of at least one transition firing sequence enabling the completion of the process without encountering the deadlock situation. Routing patterns and communication protocols that exist in business processes are modeled by interorganizational WorkFlow nets. Combining both formalisms, a kind of possibilistic WorkFlow net is obtained.

Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures

In this paper, an approach based on interorganizational WorkFlow nets and on possibilistic Petri nets is proposed to deal with communication failures in business processes. Routing patterns and communication protocols existing in business processes are modeled by interorganizational WorkFlow nets. Possibilistic Petri nets with uncertainty on the marking and on the transition firing are considered to express in a more realistic way the uncertainty attached to communication failures. Combining both formalisms, a kind of possibilistic interorganizational WorkFlow net is obtained. An example of communication failure at a process monitoring level that precedes the presentation of a paper at a conference is presented.