专利交易市场

本发明涉及自动制造系统技术领域，尤其涉及一种基于Petri网建模的柔性制造系统的加工时间计算方法。本发明包括以下步骤：S1、利用赋时Petri网对柔性制造系统进行建模，每个操作只对应一类加工资源，只有当工件开始进行下一步操作才会释放上一步操作使用的资源；S2、按照工序序列计算每步工序对应资源的开始加工时间，以及对应的工件的预估完成时间；S3、比较所有工件的预估完成时间，取最大值即为该工序序列的加工时间。本发明在选择每一步工序对应的资源时，在满足资源的加工时间小于该工件上一步工序的预估完成时间的前提下，选择加工时间较大的资源，这样就能保证当前工序计算正确的同时，不会影响并发的其他工序的加工时间的计算，使得结果更加准确。

本发明涉及调度技术领域，公开了一种基于PDDL语言的制造系统有色Petri网模型建立方法及系统，方法包括以下步骤：更新PDDL语言，使用更新后的PDDL语言描述制造系统的资源与任务，生成制造系统PDDL模型；设计PDDL语言与有色Petri网的转换规则，将PDDL模型中的对象、初始、目标、谓词、动作与类型转化为有色Petri网的库所、变迁与有向弧，生成制造系统有色Petri网模型。本发明对PDDL语法进行扩展，并设计PDDL自动转化为有色Petri网的转换规则，自动将PDDL模型转化为有色Petri网，相较于手动建立有色Petri网的优势在于简化了建模过程，提高了建模效率。

本发明公开了一种基于Petri网同步合成运算的临床路径变异检测方法，涉及数据检测及计算技术领域。其解决了现有技术中使用业务对齐的手段对临床路径进行变异检测效率低的技术问题，该检测方法包括以下步骤：首先对临床路径诊疗日志中的迹进行筛选，去除噪音，保留有效迹；然后基于有效迹与其相对应的过程模型，建立新的合成模型，新的合成模型可体现诊疗日志与临床路径之间的偏差；最后，采用时间复杂度与选取合成模型复杂度正相关的A*算法查找最优对齐。本发明方法可以极大地减少对齐消耗的时间，本发明实施例中的实验数据表明，该算法相较于其他变异检测算法效率大幅提高，证明了该算法在变异检测方面的优越性与有效性。