Petri-Net Model for Power Electronics Systems. JST [Internet]. 2014 May 15 [cited 2025 May 15];1(1). Available from: https://journals.ust.edu/index.php/JST/article/view/204