TY - RPRT TI - Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets AU - Vegard Steinsland AU - Lars Michael Kristensen AU - Shujun Zhang PY - 2022 UR - https://arxiv.org/abs/2212.06781 ID - 2212.06781 ER -