رئوس مطالب
- مقدمه
- کلیدواژه ها
- 1. معرفی
- 2. مدل نمایش سیستمهای موازی (PN)
- 1.2 تعریف اساسی
- 2.2 ساختار مدل نمایش سیستمهای موازی
- 3.2 نمادهای مدل نمایش سیستمهای موازی
- 4.2 قوانین اجرای مدل نمایش سیستمهای اجرایی
- 3. سیستمهای عامل، قوانین و روشهای مدلسازی
- 4. مدل ارائه شده
- 5. مفاهیم مدل سازی بن بست
- 1.5 معرفی بن بست ها با استفاده از مدل سیستمهای موازی (PN)
- 2.5 یک مدل برای الگوریتم های تشخیص و اجتناب بن بست
- 6. نتیجه گیری
Abstract
Nowadays, with advances in computer science and increase in processor speed, modeling methods have found extensive applications in industrial fields. Petri Nets are one of these modeling methods. Petri Nets are based on graph theory and are applied specifically for concurrent and asynchronous applications. As executable models, they are capable of graphical description of complicated systems. On the other hand, development of hardware and other peripheral computer resources and development of various computer software systems call for efficient and powerful operating systems, so that users can use the software and hardware items in an effective manner. The purpose of this article is to study the application of Petri Nets for modeling resource management in operating systems with the aim of optimal utilization of resources and Deadlock Avoidance in the Operating Systems.
Keywords: Deadlock Avoidance - Operating System - Petri Nets - Place - Resources - TransitionConclusions
Petri Nets are an appropriate tool for modeling complicated systems, and are very useful for studying concurrency and uncertainty. Nowadays, modeling and simulation are used extensively in industrial fields. In fact, an industrial system can be studied before its creation and this is very costeffective from the economic and time point of view. Petri Nets enable us to study the various components of the systems near each other. Using Petri Nets in the operating system research, we can investigate stability and concurrency and prevent the occurrence of deadlock. Using this method, which is a new method for modeling resource management, we can model complicated processes that require various resources.