![](/images/graphics-bg.png)
Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets
المؤلفون المشاركون
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-03-22
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1073724
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)