Petri-Net Model for Power Electronics Systems. JST. 2014;1(1). doi:10.20428/jst.v1i1.204