Modelling and simulation of a synchronous rectifier-5 level inverter-IM drive using commutation cells described by Petri nets | IEEE Conference Publication | IEEE Xplore