مدل‌سازی و شبیه‌سازی رویداد-گسسته: نظریه و کاربردها ۲۰۱۸
Discrete-Event Modeling and Simulation: Theory and Applications 2018

این اثر که گردآوری‌شده‌ی آثار برجسته‌ترین دانشمندان این حوزه است، کتاب «مدل‌سازی و شبیه‌سازی رویداد-گسسته: نظریه و کاربردها» آخرین دستاوردهای مدل‌سازی سیستم‌های رویداد-گسسته را با استفاده از رویکرد مشخصه‌ی سیستم رویداد-گسسته (DEVS) ارائه می‌دهد. این کتاب به معرفی آخرین پیشرفت‌ها، توسعه‌های اخیر تکنیک‌های رسمی، و نمونه‌های واقعی از کاربردهای متنوع می‌پردازد.

این کتاب موضوعات متعددی را پوشش می‌دهد که به لایه‌های مختلف معماری مدل‌سازی و شبیه‌سازی مربوط می‌شوند. این اثر به بحث در مورد پشتیبانی از توسعه‌ی مدل DEVS و تعامل DEVS با سایر روش‌شناسی‌ها می‌پردازد. اشکال مختلف شبیه‌سازی پشتیبانی‌شده توسط DEVS، استفاده از شبیه‌سازی DEVS در زمان واقعی، رابطه‌ی بین DEVS و تبدیل گراف، تأثیر انواع DEVS بر عملکرد شبیه‌سازی، و قابلیت همکاری و ترکیب‌پذیری با تأکید بر استانداردسازی DEVS را شرح می‌دهد. همچنین، این متن به بررسی گسترش‌های DEVS، فرمالیسم‌های جدید، و انتزاع مدل‌های DEVS و نیز نظریه و تحلیل پشت شناسایی و کنترل سیستم‌های دنیای واقعی می‌پردازد. برای پشتیبانی از تولید و جستجوی مدل‌های بهینه یک سیستم، چارچوبی بر اساس ساختار موجودیت سیستم و تبدیل آن به مدل‌های شبیه‌سازی DEVS توسعه داده شده است. علاوه بر این، کتاب نمونه‌های جالب متعددی را بررسی می‌کند که استفاده از DEVS را برای ساخت برنامه‌های کاربردی موفق، از جمله شبکه‌ی نوری روی تراشه، طراحی ساخت و ساز/ساختمان، کنترل فرآیند، سیستم‌های گردش کار و مدل‌های زیست‌محیطی، نشان می‌دهند.

این مجلد به‌عنوان یک منبع جامع در زمینه‌ی پیشرفت‌ها در تئوری، کاربردها و روش‌شناسی DEVS، نمونه‌ای از بهترین تحقیقات در این زمینه، تصویری گسترده از چشم‌انداز DEVS و برنامه‌های کاربردی پیشگامانه‌ای را که توسط رویکرد DEVS امکان‌پذیر شده‌اند، ارائه می‌دهد. این اثر، پایه‌ای برای اکتشافات تحقیقاتی آینده فراهم می‌کند و توسعه‌ی برنامه‌های کاربردی جدید را تشویق می‌کند.

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications.

The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models.

A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.