I’m running experiments for a paper, I’m currently working on. We’re testing a new tool, we’re working on. Of course, we compare it to our old tools, so I’m currently generating state spaces for 6 different CPN models. Each model is parametrized, so in total I have 38 instances (at the moment). In order to […]
Tag: Coloured Petri nets
Automatic Flattening of CPN Models
I’m working on a project to unfold coloured Petri nets (CP-nets or CPNs). Our tool almost but not entirely supports hierarchical CPN models, so I have to make some flat models. As both of our interesting examples (DYMO and ERDP) are hightly hierarchical, I need to flatten them. Luckily, our tool, CPN Tools, is able […]
Pain
This is what my teaching schedule looks like one week in February. I’m particularly aware of a Monday with 4 hours of lecture in one go followed by a class in the afternoon… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Halfway There
I’ve now printed half of the copies of the proceedings for the CPN Workshop. Each copy takes around 28 minutes, so 40 (or maybe even 50) really takes quite a while. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
More Videos
I'm still making videos (as well as printing). Latest productions below. They show how to do off-line analysis in ASAP, outlines the JoSEL specification for generating a standard report, and, more interestingly, shows how to do hash compaction and how to combine the hash compaction method with the sweep-line method as well as how to […]
More Slide-making…
I'm still making slides for the ASAP tutorial. Or, rather, I'm still making heaps of videos. The below videos shows how to use the sweep-line method in ASAP, how to change the safety checker to instead use the sweep-line method, and how to draw and export the state space graph. These videos are a bit […]