# Modeling and verification of an intelligent tutoring system based on Petri net theory

> Research article (Mathematical Biosciences & Engineering, 2019) · cited 14× · AI/ML

**Wikidata**: [openalex:W2946912562](https://www.wikidata.org/wiki/openalex:W2946912562)  
**Source**: https://4ort.xyz/entity/modeling-and-verification-of-an-intelligent-tutoring-system-based-on-petri-net-theory