基于Petri网的计算树逻辑模型检测电子课本