【摘要】 该文分析了网上教育形式化建模的必要性,参考经典教学文献中对现实世界教学活动行为过程的论述,对通用化的Petri网进行扩展,赋予其教学活动的内涵特性,对教学活动中涉及的元素进行个性分类,提出了一套基于有色Petri网系统,符合教学活动特性和要求的、针对网上教育进行的形式化动态建模方法,为进一步进行网上教育系统的设计开发提供了规范化的理论指导。更多还原

【Abstract】 In this paper,the necessity of formalized modeling for tele -education is analyzed,by referring to the discussing of education activity process in classical documents,through the expansion of the general Petri net with the connotation of education activities and the classification of the elements concerning the education activities according to the individualities,a formalized dynamic modeling method for tele-education based on colored Petri net system is put forward,which accords with the characteristics and demands of education activities.It can serve as the theoretical guide for designing and developing tele-education systems.更多还原