Michael Westergaard, Dirk Fahland, Christian Stahl. Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. In Lawrence Cabac, Michael Duvigneau, Daniel Moldt, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. Volume 851 of CEUR Workshop Proceedings, pages 32-46, CEUR-WS.org, 2012. [doi]
Abstract is missing.