Doctor of Science in Technology, Licentiate of Technology, Master of Science
Maria is a reachability analyser for a class of high-level Petri nets. My publications and dissertation cover both the inner workings and some applications of this tool.