TY - GEN AU - Wang,Yu-Ying AU - Lai,Ah-Fur AU - Shen,Rong-Kuan AU - Yang,Cheng-Ying AU - Shen,Victor R L AU - Chu,Ya-Hsuan TI - Modeling and verification of an intelligent tutoring system based on Petri net theory SN - 1551-0018 PY - 2020///0113 N1 - Publication Type: Journal Article; Research Support, Non-U.S. Gov't UR - https://doi.org/10.3934/mbe.2019250 ER -