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