Presentation about CPN Tools 4 I’m giving next Thursday. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Tag: CPN Tools 4
Inhibitor and Reset Arcs in CPN Tools 4
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/ […]
Simplified State Space Analysis in CPN Tools 4
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
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
Look at the Petri Colors!
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 […]
Visual Tweaks in CPN Tools
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 […]