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

DOI10.1007/978-3-642-40465-8_10zbMATH Open1394.68258OpenAlexW1501241563MaRDI QIDQ2849449FDOQ2849449

Christian Stahl, Dirk Fahland, Michael Westergaard

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)

Uses Software

• JUnit
• Grade/CPN

Recommendations

• Title not available (Why is that?) 👍 👎
• Coloured Petri Nets 👍 👎
• Lectures on Concurrency and Petri Nets 👍 👎

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)