Timed Petri Nets: Theory and Application

بر اساس درخواست برای افزایش بهره‌وری، انعطاف‌پذیری و رقابت، تمدن مدرن به طور فزاینده‌ای سیستم‌های پویا رویداد گسسته (DEDSs) را با کارایی بالا ایجاد کرده است. این سیستم ها فعالیت های همزمان، متوالی و رقابتی را در بین اجزای خود نشان می دهند. آنها اغلب پیچیده و در مقیاس بزرگ هستند و لزوماً انعطاف پذیر هستند و بنابراین سرمایه بر زیادی دارند. نمونه‌هایی از سیستم‌ها عبارتند از: سیستم‌های تولید، شبکه‌های ارتباطی، سیستم‌های ترافیک و لجستیک، و سیستم‌های فرماندهی و کنترل نظامی. مدل‌سازی و ارزیابی عملکرد نقشی حیاتی در طراحی و بهره‌برداری از چنین DEDS‌هایی با کارایی بالا ایفا می‌کند و بنابراین توجه گسترده‌ای از سوی محققان در دو دهه گذشته به خود جلب کرده است. یکی از روش های حاصل از این تلاش بر اساس شبکه های پتری زمان بندی شده و ابزارهای گرافیکی و ریاضی مرتبط است.
محبوبیتی که شبکه های پتری در مدل سازی DEDS ها به دست آورده اند به دلیل توانایی نمایشی قدرتمند آنها در همزمانی و همگام سازی است. با این حال، این ویژگی‌های DEDS را نمی‌توان به راحتی در فرمالیسم‌های سنتی که برای تحلیل سیستم‌های «کلاسیک» با رفتارهای متوالی توسعه یافته‌اند بیان کرد.
این کتاب تئوری ها و کاربردهای شبکه های پتری زمان دار را به طور سیستماتیک معرفی می کند. علاوه بر این، علاوه بر پیشرفت‌های نظری، کاربردهای عملی بسیاری را همراه با آخرین نتایج تحقیقاتی و کاربردهای صنعتی شبکه‌های پتری زمان‌دار ارائه می‌دهد.
Timed Petri Nets: Theory and Application برای استفاده توسط محققان و متخصصان در حوزه سیستم‌های دینامیکی رویداد گسسته در نظر گرفته شده است.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools.
The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors.
This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets.
Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.