Custom Dining Philosophers Visualization in CPN Tools using Simulator Extensions

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

Bit-state Hashing in ASAP

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)." […]

Read More… from Bit-state Hashing in ASAP

Hash Compaction in ASAP

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/ […]

Read More… from Hash Compaction in ASAP

Graph Drawing and Export

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/ […]

Read More… from Graph Drawing and Export

Creating Job for the Sweep-line Method

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/ […]

Read More… from Creating Job for the Sweep-line Method