And its user interface is quite unlike anything else you've worked with :). I've done a lot of work with CPN tools in the past. Sadly, the tool has not been up

And its user interface is quite unlike anything else you've worked with :). I've done a lot of work with CPN tools in the past. Sadly, the tool has not been updated since a long while, especially after its main contributer (Michael Westergaard) left academia.