Adaptive learning path generation using colored Petri nets based on behavioral aspects | IEEE Conference Publication | IEEE Xplore