Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification.
Michael WestergaardDirk FahlandChristian StahlPublished in: PNSE (2012)
Keyphrases
- petri net
- semi automatic
- colored petri nets
- fully automatic
- petri net model
- state machines
- gold standard
- discrete event systems
- fuzzy petri net
- reactive systems
- service composition
- technology enhanced learning
- ims ld
- stochastic petri net
- sequence diagrams
- higher education
- e learning
- ontology construction
- knowledge management
- concurrent systems
- learning environment
- learning process
- decision making