Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.
Lars Michael KristensenKurt JensenPublished in: Trans. Petri Nets Other Model. Concurr. (2008)
Keyphrases
- concurrent systems
- coloured petri nets
- model checking
- formal verification
- distributed systems
- temporal logic
- process algebra
- petri net
- transition systems
- formal specification
- online learning
- higher education
- learning process
- learning systems
- learning analytics
- web based learning
- model validation
- thinking skills
- learning environment
- e learning
- university level
- cooperative learning
- distance learning
- computer programming
- problem based learning
- open source