Lars Michael Kristensen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Volker Stolz
6 publications
Faustin Ahishakiye
1 publication
José Ignacio Requeno Jarabo
1 publication
Vegard Steinsland
1 publication
Shujun Zhang
1 publication

research

∙ 12/13/2022

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

We apply Coloured Petri Nets (CPNs) and the CPN Tools to develop a forma...

0 Vegard Steinsland, et al. ∙

research

∙ 05/20/2020

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

High-level Petri net such as Coloured Petri Nets (CPNs) are characterise...

0 Faustin Ahishakiye, et al. ∙