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?
![Loading ... Loading ...](https://westergaard.eu/wp-content/plugins/wp-polls/images/loading.gif)
Correctimus Prime