I’m working on a tool for automatically correcting assignments made using CPN Tools. The idea is something similar to peach3 but for CPN models (which required a Java backend and ability to run SML code, so direct integration with peach3 is future work).
The most important thing when undertaking such a project is of course the background color, but I guess we all know it is going to be a mixture of pink and baby blue, so the second most important decision is that of a name! Being a scientist, this of course has do be done using the scientific method also known as an internet poll! Tadaa, what should the name of this super tool be?
Time person of the year 2006, Nobel Peace Prize winner 2012.
Correctimus Prime