Return to Article Details New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets Download Download PDF