Demo of Time Intervals and Time-Equivalence Reduction in CPN Tools 4

In this video, I show how time intervals and time-equivalence reduction works in CPN Tools 4 (3.5.3 and newer).  get this version while it’s hot from http://cpntools.org/downloads http://www.youtube.com/watch?v=RErP7KXf_QA MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Demo of Time Intervals and Time-Equivalence Reduction in CPN Tools 4

Demo of Simulator Extensions in CPN Tools 4

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.  Most of the functionality is separated into another extension, the Model Scraper, which maintains […]

Read More… from Demo of Simulator Extensions in CPN Tools 4

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

Britney’s Finale in Herning

Britney's finales are always spectacular, the one on the Femme Fatale tour is no exception.  Fireworks and confetti, as prescribed, Britney's two most popular dance hits, and a wild crowd! It was simply awesome and a great ending to a great concert and day. (Please don't sue me.) MichaelTime person of the year 2006, Nobel […]

Read More… from Britney’s Finale in Herning

Camp Christ

We visited Camp Christ for a reception and a shot of Jesus.  This may be blasphemous ((I surely hope it is.)), but I'm 99% sure Jesus was an alcoholic, because I tasted generous amounts of his blood and got pretty drunk. Edit: Fixed video. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More… from Camp Christ

CPN Tools Features Accumulating In response to Requests (FAIR)

We needed the new implementation of fairness described earlier for a course here at the TU/e., so I set out to implement it.  Here is a demonstration of the implementation of local binding element fairness present in CPN Tools 3.1. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from CPN Tools Features Accumulating In response to Requests (FAIR)