Grade/CPN : a tool and temporal logic for testing colored Petri net models in teaching

M. Westergaard, D. Fahland

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

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, configurable, 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 difficult to automate, 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.
Original languageEnglish
Title of host publicationTransactions on Petri Nets and Other Models of Concurrency VIII
EditorsM. Koutny, W.M.P. Aalst, van der, A. Yakovlev
Place of PublicationBerlin
PublisherSpringer
Pages180-202
ISBN (Print)978-3-642-40464-1
DOIs
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
Volume8100
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Grade/CPN : a tool and temporal logic for testing colored Petri net models in teaching'. Together they form a unique fingerprint.

Cite this