期刊文献+

排课系统的着色Petri网建模

Modeling Course Scheduling System by Colored Petri Nets
下载PDF
导出
摘要 根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助. A model is made for the course scheduling system based on the actual situation of Yulin Normal University.A visual model is made for the course scheduling system by colored Petri nets,and the flow of system is described.The model will make some help to the development of the course scheduling system.
出处 《玉林师范学院学报》 2011年第5期137-140,共4页 Journal of Yulin Normal University
关键词 排课系统 着色PETRI网 模型 course scheduling system colored Petri nets model
  • 相关文献

参考文献4

  • 1Gotlieb C C. The construction of class-teacher time- table[C], proc. IFIP.Congr, 1963, 62:73-77.
  • 2Even S A, Ital A. On the complexity of timetable and multicommodity flow problems[JJ. SIAMJournal on Computing, 1976, 5(4): 691-703.
  • 3Jensen K. An introduction to the theoretical aspects of colored Petri nets. Lecture Notes in Computer Science. New York: Springer-Verlag, 1994:230-272.
  • 4Jensen K. An introduction to the practical use of coloured petri nets. In: Reisig W, Rozenberg G, eds, Lectures on Petri Nets II. LNCS 1492, Berlin, Heidelberg, New York: Springer-Verlag, 1998:237-292.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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