![](/images/graphics-bg.png)
Process Completing Sequences for Resource Allocation Systems with Synchronization
المؤلفون المشاركون
Chew, Song Foh
Wang, Shengyong
Lawley, Mark A.
المصدر
Journal of Control Science and Engineering
العدد
المجلد 2012، العدد 2012 (31 ديسمبر/كانون الأول 2012)، ص ص. 1-14، 14ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2012-07-03
دولة النشر
مصر
عدد الصفحات
14
التخصصات الرئيسية
هندسة كهربائية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
This paper considers the problem of establishing live resource allocation in workflows with synchronization stages.
Establishing live resource allocation in this class of systems is challenging since deciding whether a given level of resource capacities is sufficient to complete a single process is NP-complete.
In this paper, we develop two necessary conditions and one sufficient condition that provide quickly computable tests for the existence of process completing sequences.
The necessary conditions are based on the sequence of completions of n subprocesses that merge together at a synchronization.
Although the worst case complexity is O(2n), we expect the number of subprocesses combined at any synchronization will be sufficiently small so that total computation time remains manageable.
The sufficient condition uses a reduction scheme that computes a sufficient capacity level of each resource type to complete and merge all n subprocesses.
The worst case complexity is O(n·m), where m is the number of synchronizations.
Finally, the paper develops capacity bounds and polynomial methods for generating feasible resource allocation sequences for merging systems with single unit allocation.
This method is based on single step look-ahead for deadly marked siphons and is O(2n).
Throughout the paper, we use a class of Petri nets called Generalized Augmented Marked Graphs to represent our resource allocation systems.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Chew, Song Foh& Wang, Shengyong& Lawley, Mark A.. 2012. Process Completing Sequences for Resource Allocation Systems with Synchronization. Journal of Control Science and Engineering،Vol. 2012, no. 2012, pp.1-14.
https://search.emarefa.net/detail/BIM-471062
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Chew, Song Foh…[et al.]. Process Completing Sequences for Resource Allocation Systems with Synchronization. Journal of Control Science and Engineering No. 2012 (2012), pp.1-14.
https://search.emarefa.net/detail/BIM-471062
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Chew, Song Foh& Wang, Shengyong& Lawley, Mark A.. Process Completing Sequences for Resource Allocation Systems with Synchronization. Journal of Control Science and Engineering. 2012. Vol. 2012, no. 2012, pp.1-14.
https://search.emarefa.net/detail/BIM-471062
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-471062
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)