User-contributed simulator extension making neat visualizations in CPN Tools. Here we see the dining philosophers with a pedagogical illustration all running inside CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Custom Dining Philosophers Visualization in CPN Tools using Simulator Extensions
In this video, we change our safety checker to use bit-state hashing (with double hashing). We also try to modify our sweep-line checker to use bit-state hashing together with the sweep-line method, but see that this is not possible (as the sweep-line requires a storage we can remove from, but double hashing does not allow that)." […]
In this video, we change our safety checker to use hash compaction. We also modify our sweep-line checker to use hash compaction together with the sweep-line method. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Here we change the safety checker to do off-line analysis, thereby halving the execution time. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Here we change the job to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
We modify the job created in our previous example to instead use the sweep-line method. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]