基于Petri网的商标注册业务流程建模及行为验证

摘要

针对Petri网在业务流程建模方面强大的描述分析功能,本文提出基于Petri网的商标注册业务流程建模及行为验证,利用工作流Petri网对模型加以分析.首先对注册流程运用工作流Petri网建模,然后根据工作流网的定义及性质对此工作流模型进行验证,最后结合业务流程的实际操作特点,理论联系实际,说明其功能的有效性.