I may no longer be allowed to name tools at work, but I am still the only one able to make new builds of CPN Tools. Hence, I present the upcoming version 2.3.9: […]
Tag: Coloured Petri nets
Lecture on State Spaces in the CPN Course
I am to give a guest lecture on ASAP for the CPN course tomorrow. For that, I've prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP. None of the videos have any sound, but I am planning on ustreaming the lecture […]
Error Traces in ASAP
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Checking for Dead-locks in ASAP
Checking for Dead-locks in ASAP in less than two and a half minute. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
CPN Tools State space Analysis
CPN Tools State space Analysis in three and a half minute. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Page Copying in CPN Tools
Copying a page from one model to another in CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]