Return to Article Details Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1 Download Download PDF