基于htpn的口岸通關(guān)流程效率分析(編輯修改稿)
2025-07-20 19:03 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 第9步：查驗(yàn)結(jié)束后，申報(bào)人應(yīng)在《查驗(yàn)記錄單》上簽名、確認(rèn)；第10步：辦理稅費(fèi)征收手續(xù)；第11步：現(xiàn)場(chǎng)通關(guān)—單證放行；第12步：口岸海關(guān)—實(shí)貨放行。根據(jù)海運(yùn)進(jìn)口貨物實(shí)際的通關(guān)流程，結(jié)合Petri網(wǎng)中變遷、庫(kù)所和托肯的特性，建立基于Petri網(wǎng)的海運(yùn)通關(guān)流程模型。在Petri網(wǎng)通關(guān)流程模型中，庫(kù)所表示每一個(gè)工作單元、活動(dòng)的狀態(tài)；托肯表示工作對(duì)象；變遷是網(wǎng)絡(luò)中的控制點(diǎn)，控制工作對(duì)象通過(guò)，使其從一種活動(dòng)狀態(tài)進(jìn)入另一種活動(dòng)狀態(tài)。通關(guān)流程模型的庫(kù)所有：P1—單證錄入、P2—單證提交完畢、P3—電腦審單完畢、P4—需要專業(yè)審單、P5—單證內(nèi)容有誤、P6—無(wú)需專業(yè)審單、P7—單證內(nèi)容正確、P8—審單結(jié)果已發(fā)出、P9—現(xiàn)場(chǎng)審單完畢、P10—需要繳納稅費(fèi)、P11—稅費(fèi)繳納完畢、P12—無(wú)需繳納稅費(fèi)、P13—需要查驗(yàn)、P14—查驗(yàn)完畢、P15—查驗(yàn)有誤、P16—查驗(yàn)正確、P17—貨物允許放行、P18—貨物需要銷毀。通關(guān)流程模型的變遷有：T1—電子申報(bào)、T2—電腦自動(dòng)審單、T3—專業(yè)審單判別、T4—專業(yè)審單判斷、T5—退回修改、T6—通知審單結(jié)果及等待、T7—現(xiàn)場(chǎng)審單審核、T8—應(yīng)稅判斷、T9—繳納稅費(fèi)、T10—查驗(yàn)判別、T11—查驗(yàn)實(shí)施、T12—判別查驗(yàn)是否無(wú)誤、T13—按規(guī)定作出處理、T14—銷毀退貨、T15—放行。由于傳統(tǒng)的Petri網(wǎng)在表示順序、并行、選擇循環(huán)四種結(jié)構(gòu)時(shí)，如果流程模型較為復(fù)雜，涉及的路由較多時(shí)容易混淆，很難快速、清晰地分辨，因此本文選用比較特殊、規(guī)律化的符號(hào)來(lái)表示，參見圖21。圖2 1 本文采用的Petri網(wǎng)符號(hào)在此基礎(chǔ)上建立了海運(yùn)進(jìn)口貨物通關(guān)流程模型，參見圖32。同時(shí)根據(jù)Petri網(wǎng)可以建立層次化的模型，對(duì)于實(shí)際的模型中的查驗(yàn)實(shí)施環(huán)節(jié)進(jìn)行細(xì)化建立子層次模型。下一層次的模型如圖43所示。其中庫(kù)所有：P19—查驗(yàn)確定完畢、P20—查驗(yàn)單和關(guān)封到達(dá)現(xiàn)場(chǎng)、P21—查驗(yàn)計(jì)劃制定完畢、P22—貨物所在集裝箱到達(dá)現(xiàn)場(chǎng)。變遷有：T16—海關(guān)確定查驗(yàn)、T17—查驗(yàn)通知單打印制作關(guān)封、T18—安排查驗(yàn)計(jì)劃、T19—安排吊箱、T20—收貨人通知到現(xiàn)場(chǎng)查驗(yàn)。這樣基于Petri網(wǎng)的海運(yùn)進(jìn)口通關(guān)流程模型建立完成。圖3 2 基于Petri網(wǎng)的海運(yùn)進(jìn)口貨物通關(guān)流程模型圖4 3 查驗(yàn)實(shí)施子層次Petri網(wǎng)模型4. 基于Witness的模型仿真及效率分析 簡(jiǎn)介Witness是英國(guó)Lanner Group公司開發(fā)的仿真軟件系統(tǒng)，主要用于離散時(shí)間系統(tǒng)的仿真。其主要特點(diǎn)是：交互式面向?qū)ο蟮慕－h(huán)境；靈活的執(zhí)行策略；靈活的輸入、輸出方式；豐富的模型單元。 為了表示Petri網(wǎng)模型中庫(kù)所狀態(tài)的變化以及變遷的延時(shí)功能，通過(guò)使用Witness中的Buffer以及Machine來(lái)實(shí)現(xiàn)，而Petri網(wǎng)中的托肯則對(duì)應(yīng)Witness中的Part來(lái)實(shí)現(xiàn)。除此之外還需要對(duì)Machine及Buffer進(jìn)一步設(shè)置，以滿足Petri網(wǎng)的基本功能，例如并行、異步、匯集等Petri網(wǎng)自身特點(diǎn)的實(shí)現(xiàn)。模型中還包括了Variable和File 元素。Variable是用來(lái)保存系統(tǒng)統(tǒng)計(jì)或程序計(jì)算出的數(shù)據(jù)，以及一些程序中的臨時(shí)變量。而File的主要做用是將仿真中計(jì)算得到的有用數(shù)據(jù)對(duì)外輸出成記事本或*.dat類型的數(shù)據(jù)文件，便于瀏覽和統(tǒng)計(jì)有意義的數(shù)據(jù)。表1 Petri網(wǎng)元素與Witness軟件元素的對(duì)應(yīng)關(guān)系元素類型元素名稱元素含義BufferC1C22, ED表示Petri網(wǎng)中的庫(kù)所MachineT1T20表示Petri網(wǎng)中的變遷PartSource表示Petri網(wǎng)中的托肯VariableAvgtime, Totaltime, Code, X作為記錄數(shù)據(jù)的變量FileF1F15對(duì)外輸出的數(shù)據(jù)文件 根據(jù)先前給出的海關(guān)進(jìn)口貨物通關(guān)流程的Petri網(wǎng)模型，使用Witness建立仿真模型。元素中具體的參數(shù)設(shè)置是在
醫(yī)療健康相關(guān)推薦
鄂ICP備17016276號(hào)-1