基于HTPN的口岸通关流程效率分析.doc





《基于HTPN的口岸通关流程效率分析.doc》由会员分享,可在线阅读,更多相关《基于HTPN的口岸通关流程效率分析.doc(14页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、 .基于HTPN的口岸通关流程时间效率分析建模与仿真摘要:口岸通关效率的高低直接关系到口岸的竞争力,但是多年来一直缺乏定量地分析口岸通关效率的手段。本文以口岸通关流程为研究对象,使用分层赋时Petri网建模方法建立了可以量化分析的口岸通关流程模型,并通过Witness软件对所建立的模型进行了仿真和口岸通关流程时间效率分析,通过仿真所得到的时间效率数据可以作为今后仿真流程改进的依据。关键词:HTPN,Witness,建模,仿真,口岸,通关效率Modeling and simulation on business process of custom clearancebased on HTPNAb
2、stract: Although the efficiency of custom clearance may directly affect the petitive power of aport, 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 thenit is analyzed quanti
3、tatively. 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
4、0. 引言在国际贸易中的重要焦点是进出口货物的通关效率,因此海关的工作表现至关重要。在强调即时生产与交付的现代商业环境中,向贸易商承诺提供快速而可预期的货物放行时间已变得越来越重要。海关在执行时最重要的是保证追踪货物的流动并能进行选择性的检查,并最终对货物放行。口岸通关业务流程非常复杂,对其进行建模和仿真研究很有意义。Petri网是对离散平行系统的数学表示,适合描述异步、并发的计算机系统。Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又能为计算机科学提供坚实的概念基础等诸多优点被应用于工作流理论的研究中。鉴于Petri网在建立工作流程模型上的
5、优势,以及口岸通关流程的重要性,本文使用Petri网为工具对海运货物通关的流程进行建模,动态描述海运货物通关过程,并在模型中引入时间元素,可以定量对流程模型进行分析。1. 国内外研究现状基于Petri网对企业流程或者海关工作流程建模已经有一些学者进行过研究。在企业流程建模方面,戴顺南1等使用Petri网对企业物流的作业流程进行建模,并使用Petri网的分析工具对流程进行分析和优化。陈春良2等讨论了基于HTCPN的装备保障业务流程建模与优化方法,通过使用HTCPN克服了普通Petri网的不足,并使用CPN-TOOLS对建立的流程进行仿真并给出优化方案。陈慧灵3等论述了Petri网到工作流过程模型
6、执行的映射,给出了一个具体的基于Petri网建模方式的实例,并利用随机Petri网和概率论对该模型进行了时间性能分析。董海等提出使用Petri网建立海关业务工作流模型,给出了基于Petri网的模型并总结了该模型的优势。Karl Doerner5等使用Petri网作为建模工具,随机分支定界法作为优化方法,研究了在考虑员工数量和工作量情况下,基于多种复杂优化工作策略的多模式资源约束下的工作流程。Seungchul Ha6等使用赋时有色Petri网建立了对产品开发流程(PDP)进行管理的流程。在海关业务流程方面,董海4等提出使用Petri网建立海关业务工作流模型,给出了基于Petri网的模型并总结了
7、该模型的优势。施雪丽等9通过对基于Petri网的海关业务流程工作流模型,并以实例分析使用工作流模型对于流程有改进和提高效率的作用。沈岸10用实证分析和规X分析相结合、理论和实践相结合的方法,运用管理学、组织行为学、流程再造等相关理论,以#海关为例,对海关业务流程进行定性分析。虽然上述国内外学者研究了使用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)P:状态集,例如:P=,;T:事件集,例如:T=,
10、;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作为子网的输入和输出库所。图1HTPN模型实例3. 基于Petri网HTPN的口岸通关流程建模
11、通常,口岸通关业务流程按照运输方式、进出口方向可以分为:海运进口、海运出口、空运进口、空运出口四种,本文以海运进口为例研究基于HTPN的海运通关流程模型。3.1海运进口货物的通关流程分析目前我国海关的通关流程如下:第1步:电子申报;第2步:集中审单;第3步:通关管理处审单中心对需人工审单的报关单数据进行人工审核,并将审核结果通知申报人;第4步:现场通关接单;第5步:海关验核申报人的报关资格,验核通过的,现场接单关员进行接单;有派单窗口的现场派单人员则核对书面单证是否齐全并分派接单窗口;第6步:现场接单关员验核书面单证;第7步:现场通关查验;第8步:海关对需要查验的货物实施现场查验;第9步:查验
12、结束后,申报人应在查验记录单上签名、确认;第10步:办理税费征收手续;第11步:现场通关单证放行;第12步:口岸海关实货放行。3.2基于Petri网的海运通关流程建模根据海运进口货物实际的通关流程,结合Petri网中变迁、库所和托肯的特性,建立基于Petri网的海运通关流程模型。在Petri网通关流程模型中,库所表示每一个工作单元、活动的状态;托肯表示工作对象;变迁是网络中的控制点,控制工作对象通过,使其从一种活动状态进入另一种活动状态。通关流程模型的库所有:P1单证录入、P2单证提交完毕、P3电脑审单完毕、P4需要专业审单、P5单证内容有误、P6无需专业审单、P7单证内容正确、P8审单结果已
13、发出、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网在表示顺序、并行、选择循环四种结构时,如果流程模型较为复杂,涉及的路由较多时容易混淆,很难快速、清晰地分辨,因
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基于 HTPN 口岸 通关 流程 效率 分析

限制150内