Login / Signup
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.
Michael Westergaard
Dirk Fahland
Christian Stahl
Published in:
Trans. Petri Nets Other Model. Concurr. (2013)
Keyphrases
</>
temporal logic
petri net
model checking
reactive systems
colored petri nets
modal logic
concurrent systems
data model
process model
test bed
satisfiability problem
data flow
linear temporal logic