【摘要】 对网上EOD(EducationOnDemand)中的基本概念进行定义,并对网上EOD进行功能子模块的划分。基于教学活动特征分析,对通用化的Petri网进行扩展,赋予其网上EOD内涵特性,采用有色Petri网系统对各子模块进行形式化描述,从而为网上EOD系统提出一套符合教学活动行为特性和要求的形式化建模方法,为进一步进行网上EOD系统的开发设计提供规范化理论指导。更多还原

【Abstract】 In this paper, the basic concepts in on-line EOD(Education On Demand) are defined,and on-line EOD is divided into several function sub-modules. Based on analysis of the characteristics of education activities,through the expansion of the general Petri net with the connotation of on-line EOD,formalized description for every sub-module is implemented by using colored Petri net systems.This formalized modeling method for online EOD systems can fully demonstrate the characteristics and demands of education activities and can serve as the theoretical guide for design and development of on-line EOD systems.更多还原