基于Petri网的扩展信牌驱动工作流模型的验证的任务书.docx

基于Petri网的扩展信牌驱动工作流模型的验证的任务书
任务描述：
基于Petri网的扩展信牌驱动工作流模型是一种广泛应用于工业自动化领域的流程控制模型。在该模型中，工作流程被表示为Petri网，而控制信息则由信牌控制完成。通过使用扩展信牌，该模型可以实现更为复杂的控制规则。本次任务的目标是验证基于Petri网的扩展信牌驱动工作流模型的可行性和正确性，从而为实际应用提供参考和指导。
任务要求：
1.熟悉Petri网和信牌控制模型的基本原理及其应用领域。
2.了解扩展信牌的基本概念、实现方式和应用场景。
3.基于相关的文献，提出基于Petri网的扩展信牌驱动工作流模型的验证方案。
4.基于验证方案，编写相应的验证程序，并进行测试和分析。
5.总结验证结果，提出模型存在的问题并给出改进方案，并撰写相关报告。
任务成果：
1.基于Petri网的扩展信牌驱动工作流模型验证方案。
2.验证程序的实现和测试结果分析报告。
3.对模型存在问题的总结和改进方案报告。
4.相关文献综述和报告规范。
参考文献：
1.RenC,LiuY,WangJ,etal.ExtendedPetrinetsandsignalcontrolforworkflowmodeling[C].2018IEEEInternationalConferenceonIndustrialEngineeringandEngineeringManagement(IEEM).IEEE,2018:265-269.
2.SunX,LiZ,DaiJ,etal.AnoveldynamicalextendedPetrinetwithsignalcontrolforbusinessprocessmodeling[J].InternationalJournalofComputerIntegratedManufacturing,2019:1-16.
3.WuX,ZhaoX,ShaoS.VerificationofPetrinets-basedworkflowmodelusingmodelchecking[J].JournalofSoftwareEngineeringandApplications,2016,9:263-272.