Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

DOI10.1007/978-3-642-40465-8_10MaRDI QIDQ2849449zbMATH OpenOpenAlexFDO

Authors Michael Westergaard, Dirk Fahland, Christian Stahl

Publication date 17 September 2013

Published in Transactions on Petri Nets and Other Models of Concurrency VIII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40465-8_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1755139
• Coloured Petri Nets

Describes a project that uses

Uses Software

• Grade/CPN
• JUnit

This page was built for publication: Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849449)