Tag: Coloured Petri nets
Is Google’s Go-bot a Breakthrough for Artificial Intelligence?
If you know Betteridge’s Law of Headlines, you immediately know the answer is “no.” The answer, much like kids, is not really the interesting part however; what is interesting is the process of getting there. Go, like chess and most other games, has been […]
User Scenarios Considered Harmful
Programming can be complex. Modern systems can include many inputs from users. Inputs that each need to be checked, processed, and results returned back to users. A simple interface to the user may support many usage scenarios and many error scenarios. Here I’ll make […]
Tool Demo
Doing a tool demonstration at the Petri nets conference. All the others had posters, so I made a low-effort one…
A Fresh View on Alignments
Presentation from AIS meeting on alignments. We basically provide a formal foundation for alignments, which builds on well-known concepts in theoretical computer science. Our definitions are compatible with previous definitions for alignments (by Arya and Boudewijn), and we use the formal foundation to […]
How Britney Makes Grading CPN Assignments More Bearable
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 […]
