Hierarchical Petri-nets model for the design of e-learning system

Authors:
Feng He;J. Le
Affiliations:
School of Computer Science & Technology, DongHua University, Shanghai, China and Computer Science Department, Second Northwest Minority College, Ningxia, China;School of Computer Science & Technology, DongHua University, Shanghai, China
Venue:
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Year:
2007

Citing 6
Cited 1

Interoperation support for electronic business

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Design principles for process modelling in enterprise application integration

Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
Service-based processes: design for business and technology

Proceedings of the 2nd international conference on Service oriented computing
A Petri-Net based Validator in Reliability of a Composite Service

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Verification tool of software requirement for network software

ICICA'11 Proceedings of the Second international conference on Information Computing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

E-learning has become an important topic in these days both in academia and in industry. Our efforts in this paper concentrate on proposing a conceptual framework to help designer to construct e-learning system. The presented framework can conspicuously help the developer to comprehend the collaboration relationship between the learning objects. Then, the concepts of hierarchical learning process net and hierarchical web services net are defined by hierarchical Petri-net. The model is expressive enough to capture the semantics of learning process and their specificities. By using Petri-net verification technology, the model will have desirable properties. This will definitely help designer to design and optimize the e-learning processes.