In this video, I show examples of the new simulator extensions in CPN Tools 4. The Hello World example comprises 182 lines of (mostly GUI) code and showcases how an extension can get notifications when changes are made to a model. The Declare example comprises 240 lines of code shows how we can alter the […]
This is why we do formal verification and applications to free coffee (or tea). MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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/ […]
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
In this video I show how the next version of CPN Tools makes it easier to work with low-level nets. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Quick Demo of Alignment Using Dijkstra and Automata