![](/images/graphics-bg.png)
Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets
Joint Authors
Source
Mathematical Problems in Engineering
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-03-22
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Abstract EN
Interorganizational Workflow nets (IWF-nets) can well model many concurrent systems such as web service composition, in which multiple processes interact via sending/receiving messages.
Compatibility of IWF-nets is a crucial criterion for the correctness of these systems.
It guarantees that a system has no deadlock, livelock, or dead tasks.
In our previous work we proved that the compatibility problem is PSPACE-complete for safe IWF-nets.
This paper defines a subclass of IWF-nets that can model many cases about interactions.
Necessary and sufficient condition is presented to decide their compatibility, and it depends on the net structures only.
Finally, an algorithm is developed based on the condition.
American Psychological Association (APA)
Liu, Guanjun& Chen, Lijing. 2015. Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1073724
Modern Language Association (MLA)
Liu, Guanjun& Chen, Lijing. Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets. Mathematical Problems in Engineering No. 2015 (2015), pp.1-11.
https://search.emarefa.net/detail/BIM-1073724
American Medical Association (AMA)
Liu, Guanjun& Chen, Lijing. Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1073724
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1073724