期刊文献+

基于Petri网技术的虚拟教室协同机制的研究 被引量:1

Research of Virtual Classroom's Cooperative Mechanism Based on Petri Net Technology
下载PDF
导出
摘要 借助Petri网模型对虚拟教室中教师和学生在课堂中的协同关系、协同机制进行形式化的描述、分析,并且用控制进程并发的理论观点来实现这种协同机制。 By taking advantage of Petri Net model, this paper in virtue of formalized method describes and analyzes cooperative relationship and cooperative mechanism between teacher and students, which exists in the virtual classroom. Simultaneously, the cooperative mechanism has been realized successfully with the theory about process control concurrence view.
出处 《计算机应用研究》 CSCD 北大核心 2005年第11期186-188,共3页 Application Research of Computers
基金 国家自然科学基金资助项目(60273089)
关键词 虚拟教室 协同 PETRI网 进程 Virtual Classroom Cooperative Petri Net Process
  • 相关文献

参考文献3

二级参考文献16

  • 1Berthelot G. Checking properties of nets using transformations. In: Rozenberg G, ed. LNCS 254, New York: Springer-Verlag, 1985.19-40.
  • 2Berthelot G. Transformations and decompositions of nets. In: Brauer W, Reisig W, Rozenberg G, eds. LNCS 256, New York:Springer-Verlag, 1986. 359-376.
  • 3Aybar A, Ifar A. Overlapping decompositions and expansions of Petri nets. IEEE Trans. on Automatic Control, 2002,47(3):511-515.
  • 4Jiang CJ. A PN Machine Theory of Discrete Event Dynamic System. Beijing: Science Press, 2000 (in Chinese).
  • 5Jiang CJ. Petri net dynamic invariance. Science in China (Science E), 1997,27(6):605-611 (in Chinese with English abstract).
  • 6Wang HQ, Jiang C J, Liao SY. Behavior relations in synthesis process of Petri net models. IEEE Trans. on Robotics and Automation, 2000,16(4):400-406.
  • 7Murata T. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 1989,77(4):541-580.
  • 8Peterson JL. Petri Net Theory and the Modeling of Systems. Englewood Cliffs. Prentice-Hall, Inc. 1981.
  • 9Resig W. Petri nets. EATCE Monographs on Theoretical Computer Science. Vol.4, NewYork: Springer-Verlag, 1985.
  • 10Souissi Y. On liveness preservation by composition of nets via a set of places. In: Rozenberg G, ed. LNCS 483, New York:Springer-Verlag, 1990. 457-470.

共引文献10

同被引文献2

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部