A Petri-Net model based timing constraints specification for e-learning system

E-learning has been quite prevailing both in academia and industry. The development of e-learning models is not only addressing the concerns of the learner but also a technological challenge. There must be a business collaborating mechanism in learning process to ensure efficient and effective accomplishment of the learning activities. This paper presents a novel approach to map the collaborating mechanism into an e-learning application which uses the web services technology with a timing constraints specification. Our efforts concentrate on proposing a conceptual framework to conspicuously help designer in the optimizing the e-learning process through a robust comprehension of collaboration relationship between learning objects. Thanks to the transformation of framework to Hierarchical Timed Predicate Petri-Nets model, desirable properties such as deadlock free and safe as well as timing constraints satisfiability can be easily checked by designer.