Copying a page from one model to another in CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Page Copying in CPN Tools
Tag: Videos
Adding Progress Measure to ASAP GUI
This shows the extension points used to add the wizard for creating progress measures to ASAP. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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)." […]
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/ […]
Standard Report in ASAP
This briefly goes thru the (work in progress) standard report JoSEL specification in ASAP. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Off-line Analysis
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/ […]