Table of Contents

1 Introduction.- 1.1 Motivation.- 1.2 Modeling and Control of Discrete Event Systems.- 1.3 Objectives of This Book.- 2 Petri Nets and Manufacturing Systems.- 2.1 Petri Net Definitions and Properties.- 2.2 Modeling Manufacturing With Petri Nets.- 2.3 Summary.- 3 Parallel Mutual Exclusions.- 3.1 Introduction.- 3.2 Definition and Example.- 3.3 Development of Theoretical Results.- 3.4 Application Example.- 3.5 Generalized Parallel Mutual Exclusion.- 4 Sequential Mutual Exclusion.- 4.1 Introduction.- 4.2 Definition and Example.- 4.3 Token Capacity Concept.- 4.4 Parameters ?, ?, and ?.- 4.5 Development of Theoretical Results.- 4.6 Further Theoretical Extensions.- 4.7 Generalized Sequential Mutual Exclusions.- 4.8 Comparison With Previous Research.- 5 Hybrid Synthesis of Petri Nets.- 5.1 Introduction.- 5.2 Design of First-level Petri Net Models.- 5.3 Basic Design Modules.- 5.4 Petri Net Modeling of Buffers.- 5.5 Synthesis Procedure Description.- 6 Illustration of Hybrid Synthesis.- 6.1 An Automated Manufacturing System.- 6.2 Modeling Process.- 6.3 Discussion.- 7 Discrete Event Control of FMS.- 7.1 Introduction.- 7.2 The Flexible Manufacturing System.- 7.3 Design of a Petri Net for the FMS.- 7.4 Implementation of the Discrete Event Control.- 7.5 Summary.- 8 Augmentation of Petri Nets.- 8.1 Introduction.- 8.2 Design of Petri Net Controllers.- 8.3 Augmentation Methods of Petri Nets.- 8.4 An Application Example.- 8.5 Summary.- 9 Petri Nets: Past, Present and Future.- 9.1 Petri Net Theory Development.- 9.2 Applications in Manufacturing and Automation.- 9.3 Petri Net Design Methods for DES.- 9.4 Petri Nets in the Future.- Appendix A.

Promotional Information

Springer Book Archives