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 [...]
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 [...]
 | Michael on Introduction to CPN Tools |
 | James Rodger on Introduction to CPN Tools |
 | M.Ravi on Slicker Widgets for ProM |
| Michael on Playing With/Suffering SlickerBox |
| Michael on Slicker Widgets for ProM |