毕设任务书、开题报告、-文献综述.docVIP

浙江工商大学 本科毕业设计（论文）任务书 题目： 基于补库所法设计死锁预防控制器__ 学院专 业 班 级 学 号 学生姓名 指导教师 SPR网，运用补库所法设计死锁预防控制器，并用C语言实现其中部分算法。 二、主要内容与基本要求 1.熟悉和掌握Petri网以及SPR网的基本理论知识。 2.了解Petri网信标有关知识。 3.掌握补库所法设计死锁预防控制器的相关知识。 3.掌握C语言编程。 三、计划进度 第一周 调研、收集Petri网和离散事件资料、写出开题报告。 第二周 提交开题报告，撰写文献综述、外文资料翻译等。 第三周~第五周 研究Petri为工具的离散事件系统控制器问题。 第六周 写出中期自查报告。 第七、八周 对前期的设计进行完善。 第九、十周 项目调试，准备写论文。 第十一周 审阅论文，根据老师意见修改论文、调试项目。 第十二周 毕设管理小组验收设计成果、收缴论文，对论文进行格式、形式审查，组织评阅，学生准备论文答辩。 第十三周 组织设计、论文答辩；答辩委员会评定成绩。 四、主要参考文献 [1] 曹希仁(1985). 离散事件动态系统.自动化学报, vol.11, pp. 438-447. [2] 董利达.基于序状Petri网的离散事件系统监控理论[D].浙江.浙江大学.2004. [3] 顾启泰.离散事件系统建模