基于Petri网的科研项目管理工作流模型

Petri网是一个描述条件和任务之间关系的通用模型。结合科研项目管理这一个实例,建立一个基于Petri网的工作流模型。并利用模型化简法,验证了该模型的完整性。同时,基于该模型建立的科研项目管理系统也得到了应用。