【摘要】随着人们对业务流程管理的可靠性和正确性要求的提高,科研管理工作流已经成为科研机构实现业务过程自动化的核心技术。建立工作流模型是实现工作流技术的关键环节,模型的优劣直接关系到后续工作管理系统的性能高低和合理性问题。针对动物实验科研管理流程中的手工和纸制化办公的现状,本文采用着色Petri网(CPN)来构建动物实验科研管理流程模型,并对模型进行了合理性和正确性分析与验证,为评估系统的可行性提供 […]