业务流程验证方法及系统专利登记公告

专利名称：业务流程验证方法及系统

摘要：本发明公开了一种业务流程验证方法及系统，方法包括：将BPMN模型下的原始业务流程按照映射策略映射到Petri网模型下，形成映射业务流程；对所述映射业务流程进行验证，以判断所述原始业务流程是否出错。本发明提供的业务流程验证方法及系统，通过将业务流程验证方法映射到Petri网模型进行验证，能够验证出BPMN模型下的原始业务流程是否会出现死锁或无限循环问题，使得工作人员能够及时发现问题，以对原始业务流程进行调整，满足实际需要。

专利类型：发明专利

专利号：CN201110421827.6

专利申请（专利权）人：北京航空航天大学

专利发明（设计）人：刘旭东;怀文佳;陈锴锋;怀进鹏

主权项：一种业务流程验证方法，其特征在于，包括：将BPMN模型下的原始业务流程按照映射策略映射到Petri网模型下，形成映射业务流程；对所述映射业务流程进行验证，以判断所述原始业务流程是否出错。

专利地区：北京