| عنوان فارسی مقاله: | استفاده از مدل نمایش سیستم های همزمان یا موازی (Petri Nets) برای مدل سازی مدیریت منابع در سیستم های عامل |
| عنوان انگلیسی مقاله: | Using Petri Nets For Resource Management Modeling In The Operating Systems |
مقدمه
1. معرفی
2. مدل نمایش سیستمهای موازی (PN)
1-2 تعریف اساسی
2-2 ساختار مدل نمایش سیستمهای موازی
3-2 نمادهای مدل نمایش سیستمهای موازی
4-2 قوانین اجرای مدل نمایش سیستمهای اجرایی
3- سیستمهای عامل، قوانین و روشهای مدلسازی
4- مدل ارائه شده
5. مفاهیم مدل سازی بن بست
1-5 معرفی بن بست ها با استفاده از مدل سیستمهای موازی (PN)
2-5 یک مدل برای الگوریتم های تشخیص و اجتناب بن بست
6- نتیجه گیری
کلمات کلیدی :
Research and Practical Issues of Enterprise Information Systems II ... https://books.google.com/books?isbn=0387759018 Li D. Xu, A. Min Tjoa, Sohail S. Chaudhry - 2007 - Business & Economics At present, the resource modeling of workflow net (WF-net) are too simple to ... Workflow model, Colored Petri net, Agent, Workflow resource management, ... A New Two-Phase Approach for Petri Net Based Modeling of ... https://link.springer.com/chapter/10.1007/978-3-662-47200-2_14 by R Davidrajuh - 2015 - Related articles Though Petri Nets have been used as heuristic approach for modeling ... R.: Modeling Resource Management Problems with Activity-Oriented Petri Nets. Transactions on Petri Nets and Other Models of Concurrency IX https://books.google.com/books?isbn=366245730X Maciej Koutny, Serge Haddad, Alex Yakovlev - 2014 - Computers One of important aspects of workflow development concerns resource management. In classical Petri nets one can distinguish places, corresponding to control ... Petri net-based process monitoring: a workflow management system ... https://link.springer.com/article/10.1007/s10845-012-0704-z by A Pla - 2014 - Cited by 20 - Related articles Resource aware-Petri nets include time and resources within the classical Petri net workflow representation, facilitating the task of modelling and monitoring ...