Verification of problem-based learning systems using modified petri nets.
Victor R. L. ShenYu-Ying WangCheng-Ying YangSzu-Tso YehPublished in: Expert Syst. Appl. (2012)
Keyphrases
- petri net
- problem based learning
- discrete event systems
- petri net model
- colored petri nets
- concurrent systems
- distributed systems
- complex systems
- embedded systems
- programmable logic controller
- supporting collaborative
- state machines
- sequence diagrams
- discrete event
- ims ld
- machine learning
- higher education
- learning systems
- knowledge based systems
- data collection
- sensor networks
- case study
- e learning