ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

دانلود کتاب Synthesis Net Petri برای کنترل رویداد گسسته سیستم های تولید

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

مشخصات کتاب

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

ویرایش: 1 
نویسندگان:   
سری: The Springer International Series in Engineering and Computer Science 204 
ISBN (شابک) : 9781461363682, 9781461531265 
ناشر: Springer US 
سال نشر: 1993 
تعداد صفحات: 247 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 40,000



کلمات کلیدی مربوط به کتاب Synthesis Net Petri برای کنترل رویداد گسسته سیستم های تولید: مهندسی برق، تولید، ماشین آلات، ابزار، کنترل، رباتیک، مکاترونیک



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب Petri Net Synthesis for Discrete Event Control of Manufacturing Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Synthesis Net Petri برای کنترل رویداد گسسته سیستم های تولید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب Synthesis Net Petri برای کنترل رویداد گسسته سیستم های تولید



Petri Net Synthesis برای کنترل رویداد گسسته سیستم‌های تولید دو مفهوم اساسی اشتراک‌گذاری منابع را توسعه می‌دهد: حذف‌های متقابل موازی و متوالی و نتایج نظری در سنتز پتری. یک طرد متقابل موازی (PME) برای مدل‌سازی یک منبع به اشتراک گذاشته شده توسط فرآیندهای توزیع‌شده مستقل تعریف می‌شود، و یک طرد متقابل متوالی ترکیب متوالی PMEها است که یک منبع به اشتراک گذاشته شده توسط فرآیندهای مرتبط متوالی را مدل‌سازی می‌کند.
یک روش ترکیبی ترکیبی برای مدل‌ها و کنترل‌کننده‌های شبکه پتری با استفاده از ایده‌های طراحی از بالا به پایین، مدولار و پایین به بالا و تئوری طرد متقابل پیشنهاد شده است. یک مدل خالص پتری با جایگزین کردن مکان‌ها و/یا انتقال‌ها با ماژول‌های طراحی اولیه که به صورت ریاضی و گرافیکی توصیف شده‌اند، اصلاح می‌شود. روش های طراحی شبکه پتری برای بافرهایی مانند سیستم های ذخیره سازی و بازیابی خودکار ارائه شده است. با استفاده از روش پیشنهادی، ساختار شبکه پتری و نشانه‌های اولیه امکان‌پذیر را سنتز می‌کند، و تضمین می‌کند که شبکه‌های پتری به‌دست‌آمده دارای ویژگی‌های سیستم مطلوبی مانند رهایی از بن‌بست و رفتار چرخه‌ای هستند.
یک کنترلر شبکه پتری به بازیابی خطا برای سیستم های تولید خودکار گسترش یافته است. این تئوری می‌تواند تضمین کند که ویژگی‌های سیستم مورد نظر که با طراحی اصلی به دست آمده‌اند، زمانی که کنترل‌کننده برای مقابله با خطا در روش‌های تجویز شده تقویت می‌شود، حفظ خواهد شد. کد کنترل مستقیماً از تعاریف شبکه پتری تولید شده است. الگوریتم و جزئیات پیاده سازی برای یک سیستم تولید انعطاف پذیر داده شده است. با استفاده از رویکرد ارائه شده در Petri Net Synthesis برای کنترل رویداد گسستهسیستم های تولید، مهندسان و کارگران پژوهشی می توانند برنامه ها و آزمایش های کنترل رویداد گسسته خود را توسعه دهند.


توضیحاتی درمورد کتاب به خارجی

Petri Net Synthesis for Discrete Event Control of ManufacturingSystems develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis. A parallel mutual exclusion (PME) is defined to model a resource shared by independent distributed processes, and a sequential mutual exclusion is a sequential composition of PMEs, modeling a resource shared by sequentially-related processes.
A hybrid synthesis methodology for Petri net models and controllers is proposed using top-down, modular, and bottom-up design ideas and the mutual exclusion theory. An aggregate Petri net model is refined by replacing places and /or transitions with basic design modules which are mathematically and graphically described. Petri net design methods are presented for such buffers as automatic storage and retrieval systems. Using the proposed method synthesizes both Petri net structure and feasible initial markings, guaranteeing that resulting Petri nets have desirable system properties such as freedom from deadlock and cyclic behavior.
A Petri net controller is extended to error recovery for automated manufacturing systems. The theory can guarantee that the desired system properties achieved by the original design will be preserved when the controller is augmented to deal with an error in the prescribed methods. Control code has been directly generated from Petri net definitions. The algorithm and implementation details are given for a flexible manufacturing system. Using the approach presented in Petri Net Synthesis for Discrete Event Control ofManufacturing Systems, engineers and research workers can develop their own discrete event control applications and experiments.



فهرست مطالب

Front Matter....Pages i-xxi
Introduction....Pages 1-11
Petri Nets and Manufacturing Systems....Pages 13-29
Parallel Mutual Exclusions....Pages 31-52
Sequential Mutual Exclusion....Pages 53-91
Hybrid Synthesis of Petri Nets....Pages 93-120
Illustration of Hybrid Synthesis....Pages 121-137
Discrete Event Control of FMS....Pages 139-159
Augmentation of Petri Nets....Pages 161-185
Petri Nets: Past, Present and Future....Pages 187-204
Back Matter....Pages 205-233




نظرات کاربران