国家知识产权局信息显示，上海新致软件股份有限公司申请一项名为“一种基于有色Petri网的RPA多流程集成验证方法”的专利，公开号CN121302735A，申请日期为2025年9月。

专利摘要显示，本发明公开了一种基于有色Petri网的RPA多流程集成验证方法，包括：针对RPA流程中的多组件协同场景，定义用于表示RPA流程的有色Petri网RCPN模型；依据所述RCPN模型为每一待验证的RPA流程构建对应的RCPN子网；基于已构建的RCPN子网，多个子网集成为扩展RCPN模型；定义判定条件集合，并基于每一RCPN子网与扩展RCPN模型，构造扩展模型的状态可达集及其对应的变迁序列集合；利用判定条件集合对扩展模型进行兼容性验证，并输出验证结果。本发明方法能够在形式化框架下对RPA多流程集成的兼容性进行验证，解决了现有方法对控制流与数据流支持不足、缺乏统一语义及难以保证集成正确性的问题。

声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。

本文源自：市场资讯

作者：情报员