[发明专利]一种基于Petri网的服装产线行为模型建立方法

说明书

本发明涉及一种基于Petri网的服装产线行为模型建立方法，包括以下步骤；步骤一，确定模型的流程元素；Petri网中的流程元素包括库所元素和变迁元素，将服装生产线映射为基于Petri网的行为模型，确定模型的流程元素；步骤二，确定模型的逻辑关系；确定了模型的流程元素后，根据实际工序流程将库所元素和变迁元素进行连接，确定模型的逻辑关系。本发明提供了一种基于Petri网的服装产线行为模型建立方法及服装产线行为模型系统；能通过Petri网对服装生产线的行为模型进行描述建模，并使用关联矩阵分析法对使用Petri网建立的行为模型进行正确性验证。

技术领域

本发明涉及工业互联网中的服装生产技术领域，具体涉及基于Petri网的服装产线行为模型建立方法。

背景技术

作为新型基础设施建设的重要领域之一，工业互联网正在推动着全球工业体系的智能化变革。在这一变革中，数字孪生的价值链条和生命周期得到了延伸，工业互联网正在赋予数字孪生新的生命力。由于在模型、数据、服务等方面的优势和能力，数字孪生能够促进物理世界与信息世界的交互与融合，为物理实体增加或扩展新的能力。目前，数字孪生技术已经被应用到包括航空航天、医疗保健、电子科技、农业等在内的多个行业工业互联网平台。

在纺织服装领域，虽然出现了哈勃智慧云、海尔CosmoPlat、红豆纺织服装等工业互联网平台，但是它们主要侧重于成品的销售与服装的个性化定制，而较少关注到服装生产线的优化，也未见有与服装生产线数字孪生相关的技术和案例。

发明内容

本发明克服了现有技术的不足，提供一种基于Petri网的服装产线行为模型建立方法及服装产线行为模型系统；能通过Petri网对服装生产线的行为模型进行描述建模，并使用关联矩阵分析法对使用Petri网建立的行为模型进行正确性验证。

为达到上述目的，本发明采用的技术方案为：一种基于Petri网的服装产线行为模型建立方法，包括以下步骤；

步骤一，确定模型的流程元素；Petri网中的流程元素包括库所元素和变迁元素，将服装生产线映射为基于Petri网的行为模型，确定模型的流程元素；

库所元素表示服装生产线在时间轴上的状态，库所元素中的状态会对后续操作产生影响；变迁元素表示资源的消耗、使用以及使生产系统状态产生变化的行为，映射到服装生产线上即为实际的工序；

步骤二，确定模型的逻辑关系；确定了模型的流程元素后，根据实际工序流程将库所元素和变迁元素进行连接，确定模型的逻辑关系；

Petri网中的主要逻辑关系包括顺序关系和并行关系，其中各道工序按顺序进行的称为顺序关系，相同状态下多道工序一同进行的称为并行关系；顺序关系是，在服装生产线中，进入流水线前的工序需要按步进行，在前一道工序未完成时无法进行下一道工序的关系；并行关系是，在进入流水线后，由于不同工序在不同的机器设备上进行的关系。

进一步的，库所元素例如，服装生产订单的到达触发生产线开始运作、上一道工序正常完成才能进入下一道工序、布料状态发生改变从而进入下一步等。变迁元素例如布料悬挂、布料裁剪等。

本发明一个较佳实施例中，服装产线行为模型中的元组N＝(P,T；F)为网，且满足公式一和公式二；公式一为和公式二为其中：表示空集，P表示库所集合；T表示变迁集合， F表示网的流关系，是连接P和F的有向弧。

本发明一个较佳实施例中，服装产线行为模型中的元组PN＝(P,T；F,M)为Petri网，且首先满足元组N＝(P,T；F)为一个网；映射M:P→{0，1，2，...}称为网N的一个标识，其中M取0时指的是初始标识。