Frequent readers will know, I have posted about how CPN Tools, Declare, and ProM has been running on the developer preview and the consumer preview of Windows 8. The short version was that CPN Tools and Declare run on bot 32 and 64 bit versions without problems. ProM ran on 32 bit versions without problems […]
In this video I show how inhibitor and reset arcs work in CPN Tools 4. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
You may already have seen the user-interface for the new state-space workflow in CPN Tools 4; this is what it looks like in action. I show how CPN Tools 4 simplifies the workflow when generating state-spaces; rather than having to go thru entering the state-space tool, generating the state-space, generating the SCC graph, and saving […]
Read More… from Simplified State Space Analysis in CPN Tools 4
Here, I show how CPN Tools 4 simplifies the workflow when generating state-spaces; rather than having to go thru entering the state-space tool, generating the state-space, generating the SCC graph, and saving the report manually, CPN Tools keeps track of which steps have been performed and automatically performs any outstanding steps. This makes it possible […]
Read More… from Simplified State Space Analysis in CPN Tools 4
You may have discovered I’m merging Declare with CPN Tools (mostly because I cannot shut up about it). Right now, I’m facing a problem… Merging two super-overlapping color schemes. CPN Tools uses colors to identify various statuses of elements. The most important (as in I don’t remember whether there are others…) are: The top row […]
Turns out, I wasn’t done making visual tweaks to CPN Tools. This is a screen-shot of the most recent build: I’ve finally gotten the sheets, binders, and Declare palette looking decent. That’s old news. In the screen shot, we also see improved icons for port types and fusion instruments (1) and for the different kinds […]