Skip to content
Archive of posts tagged Work

Unicode and Beta

This may be the most niche post in the history of the internet.  Nay, since the invention of the wheel.  Make that since the invention of time. So, CPN Tools is written in Beta.  Beta is a programming language made Ole Lehrmann Madsen, Kristen [...]

A Sign

I think this may be a sign I am done making slides for the day…

Simulated Naughtiness in CPN Tools

Today I got a question about simulating a sequence of named transitions in CPN Tools.  While this is not immediately possible, it can be done using Access/CPN, which has a Java component (featured here ) and a SML component, which is leading a much more [...]

Productivity Boost

Just used Air Display to set up a 3rd monitor at the office.  This allows me to work while I watch the Femme Fatale tour, thereby vastly improving productivity ;-)

Exploiting the Innards of ProM and Breaking Data-Hiding for Fun and Profit

So, I’ve spent the afternoon writing horrible code.  Horrible, horrible code. See, I have this plug-in, which executes other plug-ins.  For some time, I’ve wanted to mark those as favorite in ProM.  This means that the object shows up with a pretty yellow star [...]