Skip to content
Archive of posts tagged CPN Tools

Multi-tasking

I’m multitasking like crazy: I’m writing code on my “emergency Mac” (which is the only one really set up for working), compiling the code on a virtual Windows XP machine and testing the code on a 64 bit Windows 7 machine, which fails to run my code.
Hmmm…  Maybe this is the excuse I’ve needed for [...]

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

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

CPN Tools on Mac OS X?

Has hell frozen over and CPN Tools been ported to Mac OS X? Nope, it’s just CPN Tools running under the just-released Parallels 5, which has a Windows theme which together with Crystal Mode (a further development of Coherence Mode) makes the illusion almost perfect – even when using the program!