Coloured Petri nets | Michaelpedia Galactica

How Britney Makes Grading CPN Assignments More Bearable

Posted on March 29, 2012 (May 18, 2018) by Michael

I already mentioned my tool for automatic grading of CPN assignments (still in business for a name by the way…). Since my last explanation, the first alpha has gone live locally, and we have just used it to grade 2 assignments from 60-70 students. This is a screen shot from the grading process: Compared with the last […]

Generated Models

Posted on September 20, 2011 (May 18, 2018) by Michael

Ah, generated models. Pretty. Should maybe work on my layout algorithm, though… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

ProM Package Documentation: CPNet

Posted on July 11, 2011 (May 18, 2018) by Michael

I should be a technical writer! Perhaps I should not write documentation when tired… Read this! The power of Greyskull commands you! CPNet (You can clearly see that I get bored around the middle of page 2…) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]