@inproceedings{04cede609b1f4da5aa554877e7ee8497,
title = "Grade/CPN : semi-automatic support for teaching Petri nets by checking many Petri nets against one specification",
abstract = "Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, con¿gurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are di¿cult to automatize, such as checking model legibility. We propose and support the Britney Temporal Logic which can be used to guide the simulator and to check temporal properties. We provide our experiences with using the tool in a course with 100 participants.",
author = "M. Westergaard and D. Fahland and C. Stahl",
year = "2012",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "32--46",
editor = "L. Cabac and M. Duvigneau and D. Moldt",
booktitle = "Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012)",
note = "33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012, PNSE '12 ; Conference date: 25-06-2012 Through 29-06-2012",
}