Petri Net Synthesis for Discrete Event Control of Manufacturing Systems by MengChu Zhou, F. Dicesare.
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. A parallel mutual exclusion (PME) is defined to model a resource shared by independent distr...
Full description
Saved in: