State-space Generation | Michaelpedia Galactica

Doing Some State-space Analysis…

Posted on October 5, 2010 (May 18, 2018) by Michael

MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Slides from Advanced Course on Petri Nets

Posted on October 1, 2010 (April 29, 2023) by Michael

During the Advanced Course on Petri Nets in Rostock, I used these two small presentations: Routing and Dynamic Reconfiguration in Mobile Ad-hoc Networks Parallel State-space Generation MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

State-space Analysis

Posted on September 14, 2010 (May 18, 2018) by Michael

Part 5 in a series on getting started with CPN Tools. This part is concerned with state-space analysis. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Error Traces in ASAP

Posted on February 21, 2010 (May 18, 2018) by Michael

MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Checking for Dead-locks in ASAP

Posted on February 21, 2010 (May 18, 2018) by Michael

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