A Petri net approach to multicellular chopper control | IEEE Conference Publication | IEEE Xplore