2 books • 2 series
Petri Nets for Supervisory Control of Discrete Events Systems (Series in Intelligent Control and Intelligent Automation, v. 9)
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (The Springer International Series in Engineering and Computer Science, #204)