- Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation, Vol. 6)
- Contemporary Issues in Systems Science and Engineering
- Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (The Springer International Series in Engineering and Computer Science)
- Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
- Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective