Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets

Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang

We apply Coloured Petri Nets (CPNs) and the CPN Tools to develop a formal model of an embedded system consisting of a power converter and an associated controller. Matlab/Simulink…