Skip to content
Archive of entries posted on October 2009

New Door-sign

As my computer was mostly useless due to running Windows in a VM and some pretty heavy document conversion, I decided to use whatever little power was left to create a nice new door-sign for my office, no that my french space-filler [...]

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.

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

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

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: