In this video I demo the new protocol debugger and the capability to remote control the CPN Tools GUI. This ability is put to use to make a nice visualization. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
In this video, I showcase the new PNML export in CPN Tools 3.5.4 and newer. I also show the new simplified automatic alignment and the simplified load/save tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Time intervals and time-equivalence reduction in CPN Tools 4. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Doing a tool demonstration at the Petri nets conference. All the others had posters, so I made a low-effort one… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Presentation from AIS meeting on alignments. We basically provide a formal foundation for alignments, which builds on well-known concepts in theoretical computer science. Our definitions are compatible with previous definitions for alignments (by Arya and Boudewijn), and we use the formal foundation to provide several directions for future work as well current new possibilities and […]
This video demonstrates the Grade/CPN Student Tester. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]