BO HUANG, PHD, is a Full Professor with the School of Computer Science and Engineering at Nanjing University of Science and Technology (NUST).
MENGCHU ZHOU, PHD, is a Distinguished Professor of Electrical and Computer Engineering and the Director of Discrete-Event Systems Laboratory at the New Jersey Institute of Technology (NJIT).

Preface xi
Acknowledgments xv
Glossary xvii
Acronyms xxiii
PART I RESOURCE ALLOCATION SYSTEMS AND PETRI NET
1 Introduction 3
2 Preliminaries 9
PART II SUPERVISORY CONTROL
3 Behaviorally Maximal and Structurally Minimal Supervisor 37
4 Supervisor Design with Fewer Places 51
5 Redundant Constraints Elimination 67
6 Fast Iterative Supervisory Design 83
7 Supervisor Synthesis with Uncontrollable and Unobservable Transitions 101
PART III HEURISTIC SCHEDULING
8 Informed Heuristic Search in Reachability Graph 121
9 Controllable Heuristic Search 137
10 Hybrid Heuristic Search 157
11 More Informed Heuristics 167
12 Symbolic Heuristic Search 177
13 Open Problems 197
Bibliography 203
Index 217