Armstrong, A. J., & Lin, F. (2010). Modelling and Personalizing Curriculum with Colored Petri Nets. In ICCE.