Modeling and Control Design Based on Petri Nets for Serial Multicellular Choppers | IEEE Journals & Magazine | IEEE Xplore