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
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 […]
Who remembers the joy of trying to make these error traces give you any information? A line number would be swell. Or just anything sort of pointing towards where the problem actually is… Edit: And who can forget this? The debugging technique of the 90s. MichaelTime person of the year 2006, Nobel Peace Prize winner […]
You may have read my posts on conveniences and new features for CPN Tools. If you haven’t, you totally should, because both are very well-written and humorous 🙂 You may also have seen on my list of features for CPN Tools 4.0 that a feature “simulator extensions” is mentioned. The thing is that I’d like […]
Lifts in new building: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]