[…]
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 has left. […]
Adding Progress Measure to ASAP GUI
This shows the extension points used to add the wizard for creating progress measures to ASAP. […]
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 hash compaction method with the sweep-line method as well as how to […]
Bit-state Hashing in ASAP
In this video, we change our safety checker to use bit-state hashing (with double hashing). We also try to modify our sweep-line checker to use bit-state hashing together with the sweep-line method, but see that this is not possible (as the sweep-line requires a storage we can remove from, but double hashing does not allow that)." […]