更多免费论文请到海员论坛下载 http:/bbs.haiyuan5.com基于HTPN的口岸通关流程时间效率分析建模与仿真摘 要：口岸通关效率的高低直接关系到口岸的竞争力，但是多年来一直缺乏定量地分析口岸通关效率的手段。本文以口岸通关流程为研究对象，使用分层赋时Petri网建模方法建立了可以量化分析的口岸通关流程模型，并通过Witness软件对所建立的模型进行了仿真和口岸通关流程时间效率分析，通过仿真所得到的时间效率数据可以作为今后仿真流程改进的依据。关键词：HTPN，Witness，建模，仿真，口岸，通关效率Modeling and simulation on business process of custom clearance based on HTPNAbstract: Although the efficiency of custom clearance may directly affect the competitive power of a port, there hasnt been a quantitative way to analyze it in recent years. In this paper, a HTPN based approach is developed to build a model of the process of custom clearance, and then it is analyzed quantitatively. Further more, a simulation model is built in Witness, to simulate the process of the custom clearance and analyze its time efficiency.And we can impove the operation process according the result of the process simulation .Key words: HTPN, Witness, modeling, simulation, port, custom clearance 0. 引言在国际贸易中的重要焦点是进出口货物的通关效率，因此海关的工作表现至关重要。在强调即时生产与交付的现代商业环境中，向贸易商承诺提供快速而可预期的货物放行时间已变得越来越重要。海关在执行时最重要的是保证追踪货物的流动并能进行选择性的检查，并最终对货物放行。口岸通关业务流程非常复杂，对其进行建模和仿真研究很有意义。Petri网是对离散平行系统的数学表示，适合描述异步、并发的计算机系统。Petri网因其既有严格的形式定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又能为计算机科学提供坚实的概念基础等诸多优点被应用于工作流理论的研究中。鉴于Petri网在建立工作流程模型上的优势，以及口岸通关流程的重要性，本文使用Petri网为工具对海运货物通关的流程进行建模，动态描述海运货物通关过程，并在模型中引入时间元素，可以定量对流程模型进行分析。1. 国内外研究现状基于Petri网对企业流程或者海关工作流程建模已经有一些学者进行过研究。在企业流程建模方面，戴顺南1等使用Petri网对企业物流的作业流程进行建模，并使用Petri网的分析工具对流程进行分析和优化。陈春良2等讨论了基于HTCPN的装备保障业务流程建模与优化方法，通过使用HTCPN克服了普通Petri网的不足，并使用CPN-TOOLS对建立的流程进行仿真并给出优化方案。陈慧灵3等论述了Petri网到工作流过程模型执行的映射，给出了一个具体的基于Petri网建模方式的实例，并利用随机Petri网和概率论对该模型进行了时间性能分析。董海等提出使用Petri网建立海关业务工作流模型，给出了基于Petri网的模型并总结了该模型的优势。Karl Doerner5等使用Petri网作为建模工具，随机分支定界法作为优化方法，研究了在考虑员工数量和工作量情况下，基于多种复杂优化工作策略的多模式资源约束下的工作流程。Seungchul Ha6等使用赋时有色Petri网建立了对产品开发流程（PDP）进行管理的流程。在海关业务流程方面，董海4等提出使用Petri网建立海关业务工作流模型，给出了基于Petri网的模型并总结了该模型的优势。施雪丽等9通过对基于Petri网的海关业务流程工作流模型，并以实例分析使用工作流模型对于流程有改进和提高效率的作用。沈岸10用实证分析和规范分析相结合、理论和实践相结合的方法，运用管理学、组织行为学、流程再造等相关理论，以成都海关为例，对海关业务流程进行定性分析。 虽然上述国内外学者研究了使用Petri网建立企业或海关的工作流程，但是还未有人针对海关的工作流程，提出可以以时间效率为指标的进行量化分析的流程模型。本文提出了使用HTPN建立口岸通关流程模型，并使用仿真手段分析过程的时间效率。2. TPN与HTPN原理层次模型在形式描述和分析中是一个常用的概念。在复杂,大型系统的性能评价中,可采用自顶向下逐步分解描述和自底向上逐步综合替代的方法。层次化的模型方法可以带来很多好处，可以隐蔽子网那不的结构和详细描述,使得模型设计者记中在相应抽象层次的设计；每个子网模型可以并行进行,相同的子网不必重复设计；是模型具有良好的层次结构,可为系统模型的分解,压缩奠定基础，因此选用HTPN为建立流程模型的工具有利于建立表达清晰、简洁、层次化的流程模型。2.1延时Petri网(TPN) 7定义延时Petri网为(P, )，其中P是Petri网(P, T, A)，是一函数，为Petri网中每个变迁分配一个非负实数：TRR是非负实数集合；非负实数=()是变迁的发射时间。假设网络的运行发生在实时系统。在任何实时时间，Petri网有一个标记M()，我们把M看成向量和函数都可以。用M(0)表示初始标记。把M(,p)写成M()(p)，即在时间库所p中的托肯数量。当且仅当t的每个输入库所至少含有一个托肯，变迁被称为在时间使能，即M(，) (对所有)。当变迁使能时，发射就开始了，从的每个输入库所消耗一个托肯，变迁也就被称为运行。当是变迁的发射时间时，这个运行持续秒。在这段时延结束时，变迁的发射停止，而且在每个输出库所添加一个托肯。这样就完成了变迁的发射。2.2分层赋时Petri网（HTPN）8HTPN=(P，T，F，M，Q，in，out，R，DUR)P：状态集，例如：P=，；T：事件集，例如：T=， ；in：工作流的入口；out：工作流的出口；Q：状态集，为所有子网组代表的集合，例如：Q=, ，任意，(i=1，n)称为子网组代表；F：F=，(i=1，k)，表示子网i中事件与状态或子网代表之间的流关系；M为m维向量集合，M(p)表示库所p中托肯的数量；R：r(q)=f，其中，R中的函数指出了子网组代表q()与其所代表子网的映射关系；DUR(k)：，事件t或子网代表q的执行时间。如图1所示为HTPN模型实例，Repair这一变迁作为原Petri网的子网，而库所Need Repair及Need Test作为子网的输入和输出库所。图1 HTPN模型实例3. 基于Petri网HTPN的口岸通关流程建模通常，口岸通关业务流程按照运输方式、进出口方向可以分为：海运进口、海运出口、空运进口、空运出口四种，本文以海运进口为例研究基于HTPN的海运通关流程模型。3.1海运进口货物的通关流程分析目前我国海关的通关流程如下：第1步：电子申报；第2步：集中审单；第3步：通关管理处审单中心对需人工审单的报关单数据进行人工审核，并将审核结果通知申报人；第4步：现场通关接单；第5步：海关验核申报人的报关资格，验核通过的，现场接单关员进行接单；有派单窗口的现场派单人员则核对书面单证是否齐全并分派接单窗口；第6步：现场接单关员验核书面单证；第7步：现场通关查验；第8步：海关对需要查验的货物实施现场查验；第9步：查验结束后，申报人应在查验记录单上签名、确认；第10步：办理税费征收手续；第11步：现场通关单证放行；第12步：口岸海关实货放行。3.2基于Petri网的海运通关流程建模根据海运进口货物实际的通关流程，结合Petri网中变迁、库所和托肯的特性，建立基于Petri网的海运通关流程模型。在Petri网通关流程模型中，库所表示每一个工作单元、活动的状态；托肯表示工作对象；变迁是网络中的控制点，控制工作对象通过，使其从一种活动状态进入另一种活动状态。通关流程模型的库所有：P1单证录入、P2单证提交完毕、P3电脑审单完毕、P4需要专业审单、P5单证内容有误、P6无需专业审单、P7单证内容正确、P8审单结果已发出、P9现场审单完毕、P10需要缴纳税费、P11税费缴纳完毕、P12无需缴纳税费、P13需要查验、P14查验完毕、P15查验有误、P16查验正确、P17货物允许放行、P18货物需要销毁。通关流程模型的变迁有：T1电子申报、T2电脑自动审单、T3专业审单判别、T4专业审单判断、T5退回修改、T6通知审单结果及等待、T7现场审单审核、T8应税判断、T9缴纳税费、T10查验判别、T11查验实施、T12判别查验是否无误、T13按规定作出处理、T14销毁退货、T15放行。由于传统的Petri网在表示顺序、并行、选择循环四种结构时，如果流程模型较为复杂，涉及的路由较多时容易混淆，很难快速、清晰地分辨，因此本文选用比较特殊、规律化的符号来表示，参见图21。图2 1 本文采用的Petri网符号在此基础上建立了海运进口货物通关流程模型，参见图32。同时根据Petri网可以建立层次化的模型，对于实际的模型中的查验实施环节进行细化建立子层次模型。下一层次的模型如图43所示。其中库所有：P19查验确定完毕、P20查验单和关封到达现场、P21查验计划制定完毕、P22货物所在集装箱到达现场。变迁有：T16海关确定查验、T17查验通知单打印-制作关封、T18安排查验计划、T19安排吊箱、T20收货人通知到现场查验。这样基于Petri网的海运进口通关流程模型建立完成。图3 2 基于Petri网的海运进口货物通关流程模型图4 3 查验实施子层次Petri网模型4. 基于Witness的模型仿真及效率分析4.1Witness 简介Witness是英国Lanner Group公司开发的仿真软件系统，主要用于离散时间系统的仿真。其主要特点是：交互式面向对象的建模环境；灵活的执行策略；灵活的输入、输出方式；丰富的模型单元。4.21仿真模型建立4.21.1Witness模型中各单元的设置为了表示Petri网模型中库所状态的变化以及变迁的延时功能，通过使用Witness中的Buffer以及Machine来实现，而Petri网中的托肯则对应Witness中的Part来实现。除此之外还需要对Machine及Buffer进一步设置，以满足Petri网的基本功能，例如并行、异步、汇集等Petri网自身特点的实现。模型中还包括了Variable和File 元素。Variable是用来保存系统统计或程序计算出的数据，以及一些程序中的临时变量。而File的主要做用是将仿真中计算得到的有用数据对外输出成记事本或*.dat类型的数据文件，便于浏览和统计有意义的数据。表1 Petri网元素与Witness软件元素的对应关系元素类型