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! MichaelTime person of the […]

Read More… from CPN Tools on Mac OS X?

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

Read More… from More Videos

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

Read More… from More Slide-making…

Tutorial on ASAP

I'm currently working on a tutorial for ASAP, the tool I'm working on at work.  The tutorial is a mixture of slides and video demonstrations.  You can see the four videos, I've currently done below: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Tutorial on ASAP