Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang. Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. In Luca Bernardinello, Laure Petrucci, editors, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Volume 13288 of Lecture Notes in Computer Science, pages 3-22, Springer, 2022. [doi]
Abstract is missing.