Verification of problem-based learning systems using modified petri nets. - Victor R. L. Shen; Yu-Ying Wang; Cheng-Ying Yang; Szu-Tso Yeh (Expert Syst. Appl., 2012)