基于YAWL的制造业物流管理控制流程建模与分析张新新摘要：研究的是一种物流管理流程建模方法，主要应用于生产制造业的流程控制方面。通过对具体公司案例的分析应用，说明这种建模方法的具体操作过程，显示出方法的便捷性、易行性以及分析结果的有效性。关键词：物流管理控制；YAWL；可达树分析：F25：Adoi：10.19311/j.cnki.1672-3198.2018.03.011随着我国制造业的快速发展，我国企业物流发展却明显滞后于社会物流的发展，且整体水平不高，在当前企业物流发展环境下，特别是中国作为“世界加工厂”的发展趋势，中国的制造企业如何有效的施行先进合理的物流管控系统，将对企业竞争力、生产能力、管理时效性都有着巨大的促进作用，可以更加科学合理的进行资源调配，而这问题将是众多企业所需要面对的最直接的问题。因此，物料管理系统的应用就显得越来越重要。目前，在诸多工作流建模方法中，YAWL具有简单直观的图形标识和丰富的分析技术等优势。1YAWL相关理论论述1.1YAWLYAWL是由ARTHURTERHOFSTEDE教授和他的团队开发的一种全新工作流語言。YAWL可直接支持所有的工作流模式。是一种将PETRI网与工作流技术相结合的过程建模语言，与其他流程建模语言相比，它具有很强的兼容性。2005年，由AALST和他的研发团队开发了YAWL，这是一种全新的工作流建模分析软件，可以支持所有工作流语言。它是一种非常强大的并且是目前最先进的BPM环境，YAWL是开源的，目的在于易于用户使用和安装。自2005年从投入使用以来，YAWL一直将最新学术见解融入整合并调整，这是YAWL的独特魅力所在。本文采用的是YAWL-4.1-OSX-installer-版本。YAWL主要研究的是工作流建模和分析，本文对物流管理控制流程的建模就是对物流工作流的控制流进行建模。后面对YAWL的理论涉及PETRI网的相关概念进行介绍。1.2YAWL的符号基本的YAWL符号有13种，如图1所示。CONDITION表示存放元素的容器，也就是PETRI网中的库所，相应的，库所中存放的是托肯；INPUTCONDITION表示初始库所；OUTPUTCONDITION表示终止库所。ATOMICTASK表示单个任务；COMPOSITETASK表示复杂任务；MULTIPLEINSTANCESOFANTASK表示由多个ATOMICTASK组成的复合任务；MULTIPLEINSTANCESOFANCOMPOSITETASK表示由多个COMPOSITETASK组成的复合任务。AND-SPLITTASK表示输入流经过变迁，后面的所有库所都能得到输出流；XOR-SPLITTASK表示输入流经过变迁后，只有部分库所能够得到输出，它多用于自动选择多个可能的替代方案；OR-SPLITTASK表示输入流经过变迁后，后面的所有库所，有且只有一个库所能够得到输出的元素。AND-jointask表示变迁的所有输入流都处于准备状态的时候，触发才能够被启动；XOR-JOINTASK表示有一部分输入流准备好，变迁就能够被触发；OR-JOINTASK表示所有输入流中只有一个能够得到变迁。1.3PETRI网PETRI网（PN）最早是由德国学者C.A.PETRI在1962年在他的博士论文中提出。经过多年发展，PN已被逐渐应用到各个领域对系统进行建模分析，比如自动制造系统的研究等。PETRI网是事件驱动系统建模的十分有用的工具。他可以检验包括系统状态的可达性、库所的有界性、变迁的活性与锁死性、初始状态的可逆性等。下面简单介绍有向网的相关定义。2建模实例以某制造公司的产品物料配送和领用流程为例，各部门根据生产所需填写领料单，由仓储部门核实领料单，如果物料未按计划到货，则进入延迟供货程序。如有物料需求在计划外，则进入计划外领料程序。再与运输部门的物料运输计划共同决定，将物料配套发放到车间指定位置。需要按照实际发料填写领料单，再交由收料人签字确认。领料单要在物料领用部门、仓库、财务部各留一份存档。2.1基于YAWL的产品物料配送和领用流程起止两端的CONDITION为产品物料配送和领用流程的起始和终止库所。T1为领料部门根据领料计划填写领料单，T2为制定物料领用制度，T3为总经理审批。S1为领料单，S2为临时库所，S3为物料领用制度。T5为对照计划检查领料单，T6为判断是否在计划内，T7为判断是否在安全库存内，T8为进入计划外领料程序，T9为配套发料到车间指定位置，T10为按照实际发料填写领料单，T11为收料人签收并由负责人核实，T12为更新物...