Power Electronics Systems: Petri-Net Modelling