Supporting adaptive learning in hypertext environment: a high level timed Petri net based approach | IEEE Conference Publication | IEEE Xplore