Grade/CPN : semi-automatic support for teaching Petri nets by checking many Petri nets against one specification

M. Westergaard, D. Fahland, C. Stahl

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012)
RedacteurenL. Cabac, M. Duvigneau, D. Moldt
UitgeverijCEUR-WS.org
Pagina's32-46
StatusGepubliceerd - 2012
Evenement33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012 - Hamburg, Duitsland
Duur: 25 jun. 201229 jun. 2012

Publicatie series

NaamCEUR Workshop Proceedings
Volume851
ISSN van geprinte versie1613-0073

Congres

Congres33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2012
Verkorte titelPNSE '12
Land/RegioDuitsland
StadHamburg
Periode25/06/1229/06/12
AnderInternational Workshop on Petri Nets and Software Engineering

Vingerafdruk

Duik in de onderzoeksthema's van 'Grade/CPN : semi-automatic support for teaching Petri nets by checking many Petri nets against one specification'. Samen vormen ze een unieke vingerafdruk.

Citeer dit