Supervision of Petri Nets

نظارت شبکه‌های پتری تئوری کنترل نظارتی را برای شبکه‌های پتری با یک مجموعه قانونی به عنوان هدف کنترل ارائه می‌کند. شبکه‌های پتری سیستم‌های رویداد گسسته را مدل‌سازی می‌کنند - سیستم‌های دینامیکی که تکامل آنها کاملاً با وقوع رویدادهای گسسته تعیین می‌شود. قوانین کنترلی که تضمین می‌کنند سیستم در حضور رویدادهای غیرقابل کنترل و غیرقابل مشاهده، مجموعه‌ای از مشخصات را برآورده می‌کند، با استفاده از حوزه‌های کاربردی مانند سیستم‌های تولید و حمل و نقل خودکار مطالعه و ساخته می‌شوند.
Supervision of Petri Nets یک رویکرد جدید و ریاضی درست را به موضوع معرفی می کند. نتایج موجود با پیشنهاد یک زبان ریاضی عمومی که استفاده گسترده ای از ایده های نظری نظم می کند، متحد می شوند و نتایج جدید متعددی از جمله الگوریتم های آماده برای استفاده که قوانین کنترل نظارتی را برای شبکه های پتری ایجاد می کنند، توصیف می شوند.
Supervision of Petri Nets یک مرجع عالی برای محققان است و همچنین ممکن است به عنوان متن تکمیلی برای دوره های پیشرفته تئوری کنترل استفاده شود.

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems.
Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets.
Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.