Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis.
Frank DiCesare, MengChu Zhou
Springer-Verlag New York Inc.
Date of Publication
The Springer International Series in Engineering and Computer Science