Authors:
Leiliane Rezende
and
Stéphane Julia
Affiliation:
Federal University of Uberlândia and UFU, Brazil
Keyword(s):
Interorganizational WorkFlow Net, Possibilistic Petri Net, Deadlocks, Siphon, Soundness, Process Monitoring.
Related
Ontology
Subjects/Areas/Topics:
Advanced Applications of Fuzzy Logic
;
Artificial Intelligence and Decision Support Systems
;
Biomedical Engineering
;
Data Engineering
;
Enterprise Information Systems
;
Health Information Systems
;
Industrial Applications of Artificial Intelligence
;
Information Systems Analysis and Specification
;
Knowledge Management
;
Ontologies and the Semantic Web
;
Society, e-Business and e-Government
;
Web Information Systems and Technologies
Abstract:
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.