论文部分内容阅读
文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理系统进行改进,系统运行稳定,选题工作效率得到提升。基于TCPN的建模方法可以为毕业设计选题流程的改进、优化提供决策支持和参考。