Loading [a11y]/accessibility-menu.js
Siphon-based deadlock prevention policy for interorganizational WorkFlow net design | IEEE Conference Publication | IEEE Xplore

Siphon-based deadlock prevention policy for interorganizational WorkFlow net design

Publisher: IEEE

Abstract:

In this paper, an approach based on Deadlock avoidance of Interorganizational WorkFlow nets is proposed to deal with Deadlock situations in interorganizational business p...View more

Abstract:

In this paper, an approach based on Deadlock avoidance of Interorganizational WorkFlow nets is proposed to deal with Deadlock situations in interorganizational business processes. Interorganizational business processes are modeled by Interorganizational WorkFlow nets. Deadlock situations in interorganizational business processes comes generally from message ordering mismatches between several business processes. Within the Petri net theory, a Deadlock situation is characterized as a zero marking of a Siphon. After detecting and controlling the Siphon structures that lead to Deadlock situations in Interorganizational WorkFlow nets, a method for the design of Interorganizational WorkFlow nets free of Deadlock is proposed. In particular, the basic principle is to define new WorkFlow nets shared between the original workflow processes that allow one to remove the scenarios responsible for the Deadlocks.
Date of Conference: 14-16 August 2013
Date Added to IEEE Xplore: 24 October 2013
Electronic ISBN:978-1-4799-1050-2
Publisher: IEEE
Conference Location: San Francisco, CA, USA

References

References is not available for this document.