Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
