Applying Petri nets to model SCORM learning sequence specification in collaborative learning | IEEE Conference Publication | IEEE Xplore