Skip to content
Archive of posts tagged Coloured Petri nets

Name Scheming

I may no longer be allowed to name tools at work, but I am still the only one able to make new builds of CPN Tools. Hence, I present the upcoming version 2.3.9:

Lecture on State Spaces in the CPN Course

I am to give a guest lecture on ASAP for the CPN course tomorrow.  For that, I’ve prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP.  None of the videos have any sound, but I am planning on ustreaming the lecture [...]

Math and Tools for Running Experiments

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 [...]

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 to [...]

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…