A Petri nets-based approach to modeling SCORM sequence | IEEE Conference Publication | IEEE Xplore