Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools

Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking.

Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications. In order to assist tutors with the use of this book in classes it contains fully-worked examples and end-of-chapter exercises with a pdf solutions manual available from springer.com.

Realistic industrial examples of varying complexity illustrate the concepts and methods under discussion. Using them, readers will be able to understand DEDs quickly and to master the control methods to analyze and improve the performance of their systems.

Final-year undergraduates and graduates embarking on further courses of study in control, manufacturing and process engineering, computer studies or operations research will find Modeling and Control of Discrete-event Dynamic Systems an invaluable companion to learning about the control of this increasingly important class of systems.

離散事件動態系統（DEDs）在現代製造過程、交通運輸和各種形式的計算機和通信網絡中具有重要意義，貫穿我們的世界。

《離散事件動態系統的建模與控制》從研究DEDs所需的數學基礎開始，介紹了用於其建模和控制的各種工具。其中包括許多形式的Petri網絡、Grafcet（順序功能圖）、狀態圖、形式語言和最大加代數；這些對於控制學生來說是必不可少的，以便熟練掌握DEDs並在實際應用中使用它們。為了幫助教師在課堂上使用本書，它包含了完整的實例和章末練習，並提供了一個可在springer.com上獲得的PDF解答手冊。

不同複雜程度的現實工業實例說明了所討論的概念和方法。通過使用這些實例，讀者將能夠快速理解DEDs並掌握控制方法，以分析和改善系統的性能。

即將開始進一步學習控制、製造和過程工程、計算機研究或運營研究的大四本科生和研究生將會發現《離散事件動態系統的建模與控制》是學習這一日益重要的系統類別控制的寶貴伴侶。