Modeling of integrated resources in network education systems based on Petri nets

Network education system (NES) involves different kinds of electronic resources such as e-doc, audio, video, and etc. These resources have a variety of features such as time restriction, concurrency and synchronized integration. This paper gives a detailed analysis on resources used in NES, presents four kinds of usage paradigms, describes the models with Petri nets, and solves a universal synchronization problem while integrating those resources during transfer.