• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Michael WestergaardDirk FahlandChristian 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