Stochastic Discrete Event Systems: Modeling, Evaluation, Applications

رفتار بسیاری از سیستم های فنی مهم در زندگی روزمره را می توان با استفاده از حالت های گسسته و رویدادهای تغییر دهنده توصیف کرد. سیستم‌های رویداد گسسته تصادفی (SDES) تصادفی بودن را در انتخاب‌ها و در طول زمان به دلیل تأخیر در فعالیت و احتمال تصمیم‌گیری می‌گیرند. نقطه شروع برای ارزیابی مسائل کمی مانند عملکرد و قابلیت اطمینان، توصیف رسمی سیستم مورد علاقه در یک مدل است.

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

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

The behavior of many technical systems important in everyday life can be described using discrete states and state-changing events. Stochastic discrete-event systems (SDES) capture the randomness in choices and over time due to activity delays and the probabilities of decisions. The starting point for the evaluation of quantitative issues like performance and dependability is a formal description of the system of interest in a model.

Armin Zimmermann delivers a coherent and comprehensive overview on modeling with and quantitative evaluation of SDES. An abstract model class for SDES is presented as a pivotal unifying result. Several important model classes, including queuing networks, Petri nets and automata, are detailed together with their formal translation into this abstract model class. Standard and recently developed algorithms for the performance evaluation, optimization and control of SDES are presented in the context of the abstract model class. The necessary software tool support is also covered. The book is completed with nontrivial examples from areas like manufacturing control, performance of communication systems, and supply-chain management, highlighting the application of the techniques presented.

For researchers and graduate students this monograph summarizes the body of knowledge for modeling and evaluating SDES, while bringing it to a new abstraction level with the introduction of a new and unifying framework. In addition, the extensive reference list is an excellent starting point for further detailed reading and research.