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 […]
CPN Tools State space Analysis in three and a half minute. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Copying a page from one model to another in CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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 […]
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! MichaelTime person of the […]
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 […]