《基于HTPN的口岸通关流程效率分析.docx》由会员分享，可在线阅读，更多相关《基于HTPN的口岸通关流程效率分析.docx（14页珍藏版）》请在三一办公上搜索。
1、更多免费论文请到海员论坛下载 基于HTPN的口岸通关流程时间效率分析建模与仿真摘 要：口岸通关效率的高低直接关系到口岸的竞争力，但是多年来一直缺乏定量地分析口岸通关效率的手段。本文以口岸通关流程为研究对象，使用分层赋时Petri网建模方法建立了可以量化分析的口岸通关流程模型，并通过Witness软件对所建立的模型进行了仿真和口岸通关流程时间效率分析，通过仿真所得到的时间效率数据可以作为今后仿真流程改进的依据。关键词：HTPN，Witness，建模，仿真，口岸，通关效率Modeling and simulation on business process of custom clearance
2、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 i
3、t 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,
4、port, custom clearance 0. 引言在国际贸易中的重要焦点是进出口货物的通关效率，因此海关的工作表现至关重要。在强调即时生产与交付的现代商业环境中，向贸易商承诺提供快速而可预期的货物放行时间已变得越来越重要。海关在执行时最重要的是保证追踪货物的流动并能进行选择性的检查，并最终对货物放行。口岸通关业务流程非常复杂，对其进行建模和仿真研究很有意义。Petri网是对离散平行系统的数学表示，适合描述异步、并发的计算机系统。Petri网因其既有严格的形式定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又能为计算机科学提供坚实的概念基础等诸多优点被应用于工作流理论的
5、研究中。鉴于Petri网在建立工作流程模型上的优势，以及口岸通关流程的重要性，本文使用Petri网为工具对海运货物通关的流程进行建模，动态描述海运货物通关过程，并在模型中引入时间元素，可以定量对流程模型进行分析。1. 国内外研究现状基于Petri网对企业流程或者海关工作流程建模已经有一些学者进行过研究。在企业流程建模方面，戴顺南1等使用Petri网对企业物流的作业流程进行建模，并使用Petri网的分析工具对流程进行分析和优化。陈春良2等讨论了基于HTCPN的装备保障业务流程建模与优化方法，通过使用HTCPN克服了普通Petri网的不足，并使用CPN-TOOLS对建立的流程进行仿真并给出优化方案
6、。陈慧灵3等论述了Petri网到工作流过程模型执行的映射，给出了一个具体的基于Petri网建模方式的实例，并利用随机Petri网和概率论对该模型进行了时间性能分析。董海等提出使用Petri网建立海关业务工作流模型，给出了基于Petri网的模型并总结了该模型的优势。Karl Doerner5等使用Petri网作为建模工具，随机分支定界法作为优化方法，研究了在考虑员工数量和工作量情况下，基于多种复杂优化工作策略的多模式资源约束下的工作流程。Seungchul Ha6等使用赋时有色Petri网建立了对产品开发流程（PDP）进行管理的流程。在海关业务流程方面，董海4等提出使用Petri网建立海关业务工
7、作流模型，给出了基于Petri网的模型并总结了该模型的优势。施雪丽等9通过对基于Petri网的海关业务流程工作流模型，并以实例分析使用工作流模型对于流程有改进和提高效率的作用。沈岸10用实证分析和规范分析相结合、理论和实践相结合的方法，运用管理学、组织行为学、流程再造等相关理论，以成都海关为例，对海关业务流程进行定性分析。 虽然上述国内外学者研究了使用Petri网建立企业或海关的工作流程，但是还未有人针对海关的工作流程，提出可以以时间效率为指标的进行量化分析的流程模型。本文提出了使用HTPN建立口岸通关流程模型，并使用仿真手段分析过程的时间效率。2. TPN与HTPN原理层次模型在形式描述和分
8、析中是一个常用的概念。在复杂,大型系统的性能评价中,可采用自顶向下逐步分解描述和自底向上逐步综合替代的方法。层次化的模型方法可以带来很多好处，可以隐蔽子网那不的结构和详细描述,使得模型设计者记中在相应抽象层次的设计；每个子网模型可以并行进行,相同的子网不必重复设计；是模型具有良好的层次结构,可为系统模型的分解,压缩奠定基础，因此选用HTPN为建立流程模型的工具有利于建立表达清晰、简洁、层次化的流程模型。2.1延时Petri网(TPN) 7定义延时Petri网为(P, )，其中P是Petri网(P, T, A)，是一函数，为Petri网中每个变迁分配一个非负实数：TRR是非负实数集合；非负实数=
9、()是变迁的发射时间。假设网络的运行发生在实时系统。在任何实时时间，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
10、)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
11、模型实例3. 基于Petri网HTPN的口岸通关流程建模通常，口岸通关业务流程按照运输方式、进出口方向可以分为：海运进口、海运出口、空运进口、空运出口四种，本文以海运进口为例研究基于HTPN的海运通关流程模型。3.1海运进口货物的通关流程分析目前我国海关的通关流程如下：第1步：电子申报；第2步：集中审单；第3步：通关管理处审单中心对需人工审单的报关单数据进行人工审核，并将审核结果通知申报人；第4步：现场通关接单；第5步：海关验核申报人的报关资格，验核通过的，现场接单关员进行接单；有派单窗口的现场派单人员则核对书面单证是否齐全并分派接单窗口；第6步：现场接单关员验核书面单证；第7步：现场通关查验
12、；第8步：海关对需要查验的货物实施现场查验；第9步：查验结束后，申报人应在查验记录单上签名、确认；第10步：办理税费征收手续；第11步：现场通关单证放行；第12步：口岸海关实货放行。3.2基于Petri网的海运通关流程建模根据海运进口货物实际的通关流程，结合Petri网中变迁、库所和托肯的特性，建立基于Petri网的海运通关流程模型。在Petri网通关流程模型中，库所表示每一个工作单元、活动的状态；托肯表示工作对象；变迁是网络中的控制点，控制工作对象通过，使其从一种活动状态进入另一种活动状态。通关流程模型的库所有：P1单证录入、P2单证提交完毕、P3电脑审单完毕、P4需要专业审单、P5单证内容
13、有误、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网在表示顺序、并行、选择循环四种结构时，如果流程模型较为
14、复杂，涉及的路由较多时容易混淆，很难快速、清晰地分辨，因此本文选用比较特殊、规律化的符号来表示，参见图21。图2 1 本文采用的Petri网符号在此基础上建立了海运进口货物通关流程模型，参见图32。同时根据Petri网可以建立层次化的模型，对于实际的模型中的查验实施环节进行细化建立子层次模型。下一层次的模型如图43所示。其中库所有：P19查验确定完毕、P20查验单和关封到达现场、P21查验计划制定完毕、P22货物所在集装箱到达现场。变迁有：T16海关确定查验、T17查验通知单打印-制作关封、T18安排查验计划、T19安排吊箱、T20收货人通知到现场查验。这样基于Petri网的海运进口通关流程模
15、型建立完成。图3 2 基于Petri网的海运进口货物通关流程模型图4 3 查验实施子层次Petri网模型4. 基于Witness的模型仿真及效率分析4.1Witness 简介Witness是英国Lanner Group公司开发的仿真软件系统，主要用于离散时间系统的仿真。其主要特点是：交互式面向对象的建模环境；灵活的执行策略；灵活的输入、输出方式；丰富的模型单元。4.21仿真模型建立4.21.1Witness模型中各单元的设置为了表示Petri网模型中库所状态的变化以及变迁的延时功能，通过使用Witness中的Buffer以及Machine来实现，而Petri网中的托肯则对应Witness中的P
16、art来实现。除此之外还需要对Machine及Buffer进一步设置，以满足Petri网的基本功能，例如并行、异步、汇集等Petri网自身特点的实现。模型中还包括了Variable和File 元素。Variable是用来保存系统统计或程序计算出的数据，以及一些程序中的临时变量。而File的主要做用是将仿真中计算得到的有用数据对外输出成记事本或*.dat类型的数据文件，便于浏览和统计有意义的数据。表1 Petri网元素与Witness软件元素的对应关系元素类型元素名称元素含义BufferC1-C22, ED表示Petri网中的库所MachineT1-T20表示Petri网中的变迁PartSour
17、ce表示Petri网中的托肯VariableAvgtime, Totaltime, Code, X作为记录数据的变量FileF1-F15对外输出的数据文件4.21.2模型的建立 根据先前给出的海关进口货物通关流程的Petri网模型，使用Witness建立仿真模型。元素中具体的参数设置是在各个不同的元素的Detail中进行的。下面以变迁“应税判断”为例说明。type: single cycle time: 1.0 from: pull from c9 to: PERCENT/57, 10 source c11 10,c10 90 action on input: a(9)=time action
18、 on output: b(9)=time write f9 source; code, ”time”, b(9)-a(9)以上具体设置的意义为，变迁每次输出一个托肯，延迟时间为一个时间单位并且变迁的输入库所为C9，输出库所为C10和C11。托肯的输出规则为10%的概率下输入C11，90%的概率下输入C10，最后将此变迁所消耗的时间记录数据文件F9中。仿真模型中库所和数据文件的设置见图5。图5 Witness软件中库所和数据文件的设置界面通过对模型的各个元素的设置，便构成了仿真的主要模型，。 如图6所示。图6 Witness软件中建立的海运进口货物通关流程仿真模型4.32仿真模型的运行及结果在
19、仿真模型运行之前需要对变迁与库所的延迟时间进行设置。其设置的具体参数见表2。表2 变迁与库所的延迟时间参数设置时间单位电子申报电脑自动审单专业审单判别专业审单通知审单结果及等待小时0.010.010.016.817.33等待时间现场审单审核退回修改应税判断缴纳税费查验判别 17.31720.010.10.01放行判断查验是否无误按规定处理销毁海关确定检查查验通知单打印，并制作官封0.010.01727200.010.05等待安排查验计划安排调箱等待时间现场查找箱体通知收货人到现场查验413621本模型的仿真属于单流程的仿真，即在整个仿真过程中始终只有一个资源，直到正在进行的仿真流程结束时才会有
20、新的资源进入模型，开始新一论的流程仿真。在仿真过程中，使用Witness中的File控件将仿真中单个仿真流程的时间以及流程的平均时间保存在指定的*.dat文件中。也就是说，通过仿真可以得出单个资源经过流程的总时间以及所有流程的平均时间。图74是仿真的输出结果。图中的Source表示资源编号， “Avgtime”表示从第1个资源到最后一个资源在流程中平均消耗的时间，“Total_time”表示资源在单次流程中所消耗的时间。通过输出的数据可见单次的海关通关流程所消耗的时间是在一定范围内波动的值，如表3所示输出数据，包括在整个仿真中海运通关流程中最大、最小的时间消耗，以及在流程运行2000次时整个流
21、程平均时间。经过统计还可得到在整个仿真中各个流程环节使用率，其中专业审单、退回修改、通知审单结果及等待是三个平均占用流程时间比率最高的流程，占用率见表4。根据仿真得出的数据结果可以基本反映出海运进口货物的通关时间，给出了一个海运进口货物通关的定量模型。正确的流程模型的建立，为今后通关流程的重组和改进提供了时间依据。流程模型的仿真也为验证流程重组的效果提供了手段，可以在新的工作流程实施前对流程实施的效果得出比较准确的预测，并可以与现有的流程做出比较。图7 4仿真结果输出界面表3 仿真结果数据统计maxtimeMintimeavgtime810.121.0621.84表4 各业务环节平均占用时间比
22、例专业审单退回修改通知审单结果及等待20.11%23.36%45.54%5. 结论本文研究使用HTPN对海关进口货物通关流程进行建模，并使作业流程模型中包含了时间属性。基于分层的Petri网模型方法解决了Petri网对复杂系统建模时的组合状态爆炸问题；模型中包含了时间参数，可以根据不同的时间参数分布，对模型进行定量分析。应用Witness软件对所建立的HTPN模型进行仿真，验证了HTPN模型的正确性，并为现有流程的重组优化提供了评估手段，可以给决策者提供决策依据。由于工作现场数据采集比较困难，本模型中使用了经验时间参数。今后的工作需要采集实际工作时间数据，拟合成时间概率分布，使模型中增加随机因
23、素，从而更好地反映实际工作流程。参考文献：1唐达，刘丹妮. 基于层次时间Petri网的工作流模型可达性分析方法. 计算机集成制造系统. 2006年第4期2欧阳星明，田维新，张浩. 基于时间Petri网的离散事件仿真方法研究. 计算机工程与科学. 2006年第12期3戴顺南,姜秀山,王金旺. 基于Petri网的生产企业物流流程设计分析. 物流技术. 2008年第1期4陈春良，王岩磊，孙盛坤. HTCPN在装备保障业务流程建模与优化中的应用. 系统仿真学报. 2008年第10期5陈慧灵,王宪增,邹宽城. 基于Petri网的工作流过程建模. 计算机工程与科学. 2008年第5期6董海，王宛山，李彦平
24、. 基于Petri网的海关业务流程工作流模型分析. 机械设计与制造. 2005年第7期7Karl Doerner,Walter J.Gutjahr,Gabriele Kotsis,Martin Polaschek,Christine Strauss. Enriched workflow modelling and Stochastic Branch-and-Bound. European Journal of Operational Research. 175(2006)179818178Seungchul Ha,Hyo-Won Suh. A timed colored Petri nets
25、modeling for dynamic workflow in product development process. Computers in Industry. 59(2008)1932099施雪丽,王未央.基于Petri网的海关业务流程工作流模型设计. 计算机与数字工程. 2008年第7期10沈岸.基于BPR的海关通关作业优化研究.电子科技大学硕士论文.2007第一作者简介：陈秋琳（1984-）,男（汉族）,籍贯：江苏太仓,学生,硕士,研究方向:现代工业工程,(电子邮箱)cql031,上海市科委能力建设项目资助，项目编号：071705107。论文修改部分说明问题：1）因该文的研究目标
26、在于“口岸通关效率”，建议把题目改为“基于HTPN的口岸通关流程时间效率分析”，更切中核心内容。（2）建议关键词中加上“效率”等词。（3）“文献阅读”中多为Petri网技术的文献，缺少“通关效率”部分的论述，即使如作者所言，“缺乏定量地分析口岸通关效率的手段”（意为“定性”），也应加以引用。（4）作者分述了TPN与HTPN两种Pretri网技术，由于本文基于HTPN，应比较并阐述采用HTPN的原因，建议把第2节标题作相应修改，突出HTPN技术。（5）建议把第3节标题直接改为“基于HTPN的。”，并突出“时间效率”这一涉及本文的关键词。（6）建议修改第4节标题，加上“分析”一词。（7）摘要不规范
27、，如建模及仿真结果是否有效未做出说明。（8）论文过于冗长，如国内外研究现状述评应放在引言中，TPN与HTPN、Witness 简介等许多一般知识应删除。修改：已经将论文题目改为基于HTPN的口岸通关流程时间效率分析在关键此中增加通关效率为新的关键词文献中增加了与海关通关流程建模有关的文献将第2章的标题改为“HTPN原理”并增加了层次化建模的优点，将TPN作为流程基础，HTPN作为在TPN建模原理上的层次化拓展。将第三章题目修改为“基于HTPN的口岸通关流程建模”将第四章题目修改为“基于Witness的模型仿真及效率分析”修改了摘要中不规范的部分增加了建模及仿真结果的作用说明产出了WITNESS简介等一般知识。
