許濤

摘 要：為了讓新生報(bào)到更加高效和便捷，基于Petri網(wǎng)的相關(guān)理論，提出了基于Petri網(wǎng)的新生報(bào)到流程模型優(yōu)化分析。通過(guò)庫(kù)所與變遷之間的交互關(guān)系，分析各流程節(jié)點(diǎn)間的行為，參考新生報(bào)到時(shí)的具體情況和學(xué)校的相關(guān)要求，讓學(xué)校投入的大量的人力和物力能夠最大限度發(fā)揮作用，優(yōu)化新手入學(xué)報(bào)到流程，提高新生報(bào)到的效率，提升學(xué)生報(bào)到的體驗(yàn)。最后通過(guò)WoPeD仿真驗(yàn)證了優(yōu)化后的模型具有良好的性質(zhì)。

關(guān)鍵詞：Petri網(wǎng);建模;優(yōu)化;新生報(bào)到

中圖分類(lèi)號(hào)：TP391.9? 文獻(xiàn)標(biāo)識(shí)碼：A? 文章編號(hào)：1673-260X（2022）02-0005-04

0 引言

迎新工作是高校的一項(xiàng)重點(diǎn)工作，既繁重又復(fù)雜，因此運(yùn)用Petri網(wǎng)的相關(guān)理論對(duì)原有模型進(jìn)行分析優(yōu)化就顯得尤為重要。迎新過(guò)程中各部門(mén)協(xié)調(diào)困難，數(shù)據(jù)信息相對(duì)獨(dú)立，部分工作具有依賴性，增加了相關(guān)工作的難度?，F(xiàn)在，Petri網(wǎng)在各行各業(yè)都有學(xué)者做相關(guān)應(yīng)用[1-6]，也有學(xué)者對(duì)新生報(bào)到流程進(jìn)行分析：文獻(xiàn)[7]針對(duì)學(xué)校在新生入學(xué)報(bào)到時(shí)的繁瑣的工作，利用“5W1H”及“ECRS四原則”分析了存在的主要問(wèn)題，提出了改進(jìn)方案。文獻(xiàn)[8]針對(duì)新生報(bào)到過(guò)程的特點(diǎn)，從中提取除了出了新生報(bào)到時(shí)的主要流程，建立適于學(xué)院的新生入學(xué)報(bào)到系統(tǒng)。文獻(xiàn)[9]本文通過(guò)Web的信息管理系統(tǒng)，從系統(tǒng)的需求分析，提高學(xué)生入學(xué)報(bào)到效率。文獻(xiàn)[10]模擬測(cè)試應(yīng)使用UML集成建模語(yǔ)言進(jìn)行。根據(jù)管理部門(mén)的需求，分析迎新中各個(gè)部門(mén)與學(xué)生的相關(guān)聯(lián)系，并創(chuàng)建功能模型，分階段創(chuàng)建功能模型，創(chuàng)建對(duì)象模型。利用Petri網(wǎng)對(duì)學(xué)生入學(xué)報(bào)到流程進(jìn)行研究尚未見(jiàn)到相關(guān)報(bào)道。

本文基于Petri網(wǎng)相關(guān)理論知識(shí)，建立了新生報(bào)到流程的模型，涵蓋學(xué)生信息登記、學(xué)生繳費(fèi)、服裝領(lǐng)取、宿舍登記基本流程。并在此基礎(chǔ)上對(duì)原流程模型進(jìn)行了優(yōu)化分析，主要從新生辦理入學(xué)的效率低、現(xiàn)場(chǎng)秩序混亂和各個(gè)機(jī)構(gòu)信息不共享等方面入手，并用WoPeD軟件分析優(yōu)化后模型的合理性和有效性。

1 Petri網(wǎng)基本概念

業(yè)務(wù)流程可以用很多建模語(yǔ)言建模，包括UML活動(dòng)圖、業(yè)務(wù)流程建模符號(hào)（BPMN）、事件驅(qū)動(dòng)流程鏈（EPCs）、Petri網(wǎng)等？盡管過(guò)程建模語(yǔ)言有很多種，但是各種建模語(yǔ)言都遵循著特征圖結(jié)構(gòu)，只在邊緣類(lèi)型和節(jié)點(diǎn)類(lèi)型上表現(xiàn)不同。在本文中，我們使用Petri網(wǎng)作為過(guò)程建模語(yǔ)言。

Petri在描述和分析系統(tǒng)和過(guò)程模型方面具有天然的優(yōu)勢(shì)。其特點(diǎn)是同步性、非對(duì)稱性、分布性、并行性、不確定性和隨機(jī)性。作為形式化建模工具，Petri網(wǎng)可以作為過(guò)程圖和圖形仿真系統(tǒng)的可視化通信工具，利用token來(lái)表示系統(tǒng)的動(dòng)態(tài)和同步行為，也可以用數(shù)學(xué)方法建立方程，例如在代數(shù)行為方程中建立數(shù)學(xué)模型。

定義1[11]（流程模型Petri網(wǎng)） 一個(gè)流程模型Petri網(wǎng)，PM=（P，T，F(xiàn)，C，s，e）是一個(gè)六元組，滿足下列條件：

（1）P是有限庫(kù)所集，T是有限活動(dòng)變遷集;

（2）P≠?，T≠?，且P∩T≠?;

（3）F?（P×T）∪（T×P）表示PN的流關(guān)系且（P∪T，F(xiàn)）是強(qiáng)連通圖;

（4）dom（F）∪cod（F）=P∪T，其中：

dom（F）{x∈P∪T|y∈P∪T，（x，y∈F）}

cod（F）={x∈P∪T|y∈P∪T，（x，y∈F）}

（5）C={and，xor，or}是流程網(wǎng)的結(jié)構(gòu)類(lèi)型;

（6）M0是過(guò)程網(wǎng)的首個(gè)標(biāo)識(shí);

（7）Mi是網(wǎng)的最后一個(gè)表示終止的標(biāo)識(shí)，且Mi是死標(biāo)識(shí);

（7）s∈T，e∈T是分別表示流程開(kāi)始和終止的變遷。

稱這是符合條件的流程模型Petri網(wǎng)。在此定義上，我們定義了網(wǎng)的前集和網(wǎng)的后集。

定義2[12]（變遷發(fā)生規(guī)則） 一個(gè)四元組PN=（P，T;F，M0）稱為Petri網(wǎng)，并具有下面的變遷發(fā)生規(guī)則：

（1）變遷t∈T符合發(fā)生條件，當(dāng)且僅當(dāng)對(duì)？p∈t：M（p）≥1，記作M[t>;

（2）當(dāng)前標(biāo)識(shí)是M，當(dāng)變遷t發(fā)生之后，會(huì)得到一個(gè)新的標(biāo)識(shí)M′，記作M[t>M′，則有

M′（p）=M（p）+1，p∈t′-′t

M（p）-1，p∈′t-t′

M（p），其他

Petri網(wǎng)的基本結(jié)構(gòu)有四個(gè)[13]。順序結(jié)構(gòu)：模型內(nèi)的庫(kù)所和變遷有嚴(yán)格的執(zhí)行順序，如圖1所示;選擇結(jié)構(gòu)：模型內(nèi)的變遷具有排他性，如圖2所示，t0和t1屬于不能同時(shí)發(fā)生;并行結(jié)構(gòu)：模型內(nèi)的變遷具有并行關(guān)系，如圖3所示;循環(huán)結(jié)構(gòu)：模型內(nèi)的某一個(gè)變遷在一定條件下可以執(zhí)行多次，如圖4所示。

2 基于Petri網(wǎng)的新生報(bào)到流程建模

高校新生入學(xué)報(bào)到具有時(shí)間集中且報(bào)到人數(shù)多、入學(xué)報(bào)到流程復(fù)雜等特點(diǎn)。因此，減少新生報(bào)到時(shí)間，設(shè)計(jì)更為高效率的報(bào)到流程以提升學(xué)生滿意度，讓學(xué)校各部門(mén)協(xié)同運(yùn)作，打破“信息孤島”并降低成本顯得尤為重要。

如圖1給出了新生報(bào)到流程模型圖，圖1是由繪圖軟件Microsoft Visio繪制。這個(gè)模型主要由四流程組成：學(xué)生登記、學(xué)生繳費(fèi)、服裝領(lǐng)取、宿舍登記，其中ti表示不同的變遷（事件）。根據(jù)某高校新生入學(xué)報(bào)到流程，基于Petri網(wǎng)建立了下圖一所示傳統(tǒng)體檢原始流程模型（簡(jiǎn)稱原模型）：

學(xué)生登記流程：學(xué)生首先由志愿者帶領(lǐng)到迎新處（t0發(fā)生），在學(xué)生信息登記處，出示錄取通知書(shū)，然后登記學(xué)生的詳細(xì)信息，工作人員會(huì)發(fā)放校園一卡通，按照順序結(jié)構(gòu)依次執(zhí)行，也就是發(fā)生t1、t2、t3、t4發(fā)生后，學(xué)生登記流程結(jié)束。

學(xué)生繳費(fèi)流程：在學(xué)生繳費(fèi)處，先到達(dá)收費(fèi)處（t5發(fā)生），此時(shí)有一個(gè)選擇結(jié)構(gòu)，有兩種可能發(fā)生的情況，第一種：發(fā)生t6未繳費(fèi)，在這種情況下學(xué)生需要排隊(duì)等待繳費(fèi)，在窗口繳納學(xué)費(fèi)和住宿費(fèi)，繳費(fèi)完畢后，工作人員發(fā)放收據(jù)，學(xué)生憑借收據(jù)可進(jìn)行學(xué)籍注冊(cè)，按照順序結(jié)構(gòu)發(fā)生t7、t8、t9、t10;第二種：該學(xué)生已助學(xué)貸款，直接進(jìn)入綠色通道（t12發(fā)生），憑借助學(xué)貸款回執(zhí)就可以直接進(jìn)行學(xué)籍注冊(cè)，按順序結(jié)構(gòu)依次發(fā)生t11、t11、t13、t10，緊接著t11（已助學(xué)貸款）發(fā)生，按順序結(jié)構(gòu)依次發(fā)生t12、t13、t14、t15，至此學(xué)生繳費(fèi)流程結(jié)束。

服裝領(lǐng)取流程：在服裝領(lǐng)取處，先排隊(duì)等待，在軍訓(xùn)服的費(fèi)用繳納完畢后，領(lǐng)取收據(jù)，憑借收據(jù)，領(lǐng)取軍訓(xùn)服，也就是按照順序結(jié)構(gòu)依次發(fā)生t14、t15、t16、t17、t18，領(lǐng)取流程流程結(jié)束。

宿舍登記流程：學(xué)生到達(dá)學(xué)生公寓門(mén)衛(wèi)處t19發(fā)生，按照順序結(jié)構(gòu)t20（登記個(gè)人寢室信息）發(fā)生，此時(shí)的選擇結(jié)構(gòu)又有兩種情況，第一種：如果選擇住宿舍，那么工作人員會(huì)錄入寢室信息，之后在公寓的門(mén)衛(wèi)處就能領(lǐng)取鑰匙，此時(shí)t23（登記個(gè)人寢室信息領(lǐng)寢室鑰匙并入?。┌l(fā)生，也就是按照順序結(jié)構(gòu)t21、t22、t23依次發(fā)生;第二種：如果不選擇住宿舍（發(fā)生t24），學(xué)生需要辦理走讀手續(xù)（發(fā)生t25）。至此宿舍登記流程結(jié)束。

3 模型優(yōu)化

通過(guò)圖5可以看出，Petri網(wǎng)可以將技術(shù)與流程管理進(jìn)行結(jié)合，簡(jiǎn)單直觀地優(yōu)化系統(tǒng)，不斷改進(jìn)和創(chuàng)新，并能產(chǎn)生不錯(cuò)的社會(huì)效益。通過(guò)系統(tǒng)分析學(xué)生入學(xué)情況，我們可以找到一些可行的解決方案，提高各部門(mén)協(xié)作和信息交流，將報(bào)到流程簡(jiǎn)化，以提高學(xué)生報(bào)到效率，從而降低新生報(bào)到時(shí)高校耗費(fèi)的巨大資源。而圖5中我們可以看出報(bào)到流程存在很多可以優(yōu)化的地方：

（1）學(xué)生入學(xué)報(bào)名信息化不夠充分。原模型中學(xué)生只能在進(jìn)入學(xué)校才開(kāi)始繳費(fèi)，如果在進(jìn)入校門(mén)之前繳費(fèi)可以使排隊(duì)的人數(shù)大大較低，從而讓迎新工作更加順利。

（2）在模型中可以發(fā)現(xiàn)，由于各部門(mén)獨(dú)立管理新生數(shù)據(jù)，部門(mén)之間數(shù)據(jù)缺乏統(tǒng)一性，導(dǎo)致迎新流程節(jié)點(diǎn)增多，造成信息冗余，大大地增加迎新工作的負(fù)擔(dān)。因此，學(xué)校通過(guò)信息系統(tǒng)的建設(shè)加強(qiáng)部門(mén)的協(xié)作，實(shí)現(xiàn)了數(shù)據(jù)的共享（包括學(xué)生的個(gè)人信息和繳費(fèi)信息等），可以有效提升迎新的效率。

針對(duì)上面的分析，我們對(duì)新生報(bào)到流程原模型進(jìn)行了優(yōu)化。圖6是通過(guò)Microsoft Visio繪制而成的新生報(bào)到流程優(yōu)化后模型圖，可以看出，為了充分利用信息化優(yōu)勢(shì)，也為了使繳費(fèi)效率更高，添加了線上繳費(fèi)t0、t1、t2，在進(jìn)入校門(mén)前，有相當(dāng)一部分學(xué)生已經(jīng)繳費(fèi)成功，大大緩解繳費(fèi)處的排隊(duì)現(xiàn)象。將學(xué)費(fèi)、住宿費(fèi)和軍訓(xùn)服費(fèi)通過(guò)信息系統(tǒng)統(tǒng)一進(jìn)行繳納，可以減少繳費(fèi)的步驟，簡(jiǎn)化流程。在宿舍登記流程中，我們和剛進(jìn)入校門(mén)的登記個(gè)人詳細(xì)信息t5的信息是互通的都用了t8（登入個(gè)人信息系統(tǒng)）打破了信息孤島，這樣在錄入學(xué)生信息時(shí)不用重新輸入，可以直接在需要添加信息的地方補(bǔ)充。

4 仿真模擬實(shí)驗(yàn)

如圖7所示，將流程在Petri網(wǎng)分析軟件WoPeD（Workflow Petri Net Designer）上進(jìn)行模擬通過(guò)Semantical analysis可以驗(yàn)證模型是否是有界的、安全的以及無(wú)死鎖的。實(shí)驗(yàn)結(jié)果如圖8，該結(jié)構(gòu)能夠滿足有界性、安全性、無(wú)死鎖，可以看出優(yōu)化后的模型是正確并可行的。

5 結(jié)語(yǔ)

本文在Petri網(wǎng)的基礎(chǔ)上對(duì)新生報(bào)到流程進(jìn)行優(yōu)化。基于Petri網(wǎng)的相關(guān)知識(shí)對(duì)原模型進(jìn)行了優(yōu)化，優(yōu)化后的模型能夠提高新生入學(xué)報(bào)到的效率，分流人群，有效減少現(xiàn)場(chǎng)報(bào)到環(huán)節(jié)，使部門(mén)之間溝通更加有效，人力資源最大化利用，可以使新生入學(xué)登記期間有效和適當(dāng)?shù)亻_(kāi)展所有工作。在建模和優(yōu)化上仍然存在許多問(wèn)題，在將來(lái)的研究中等待解決，例如在Petri網(wǎng)及其行為輪廓的基礎(chǔ)上，結(jié)合高校的具體入學(xué)登記流程對(duì)優(yōu)化后的模型進(jìn)行一致性、合理性分析，以得到更好的模型。

參考文獻(xiàn)：

〔1〕許凱.基于Petri網(wǎng)的智能快件箱取件流程模型的優(yōu)化[J].咸陽(yáng)師范學(xué)院學(xué)報(bào)，2021，36（02）：43-45.

〔2〕馬朝陽(yáng)，黃樹(shù)巍.基于Petri網(wǎng)的礦山價(jià)值鏈建模與礦石成本分析[J].礦業(yè)研究與開(kāi)發(fā)，2021，41（09）：179-184.

〔3〕葉桐舟，孫林，李敬兆.基于Petri網(wǎng)的礦山物聯(lián)網(wǎng)信息物理并發(fā)交互方法研究[J].煤炭科學(xué)技術(shù)，2005，30（09）：55-58.

〔4〕畢天姝，楊春發(fā)，黃少鋒，等.基于改進(jìn)Petri網(wǎng)模型的電網(wǎng)故障診斷方法[J].電網(wǎng)技術(shù)，2005，39（21）：52-56.

〔5〕李圣男，邢科新，林葉貴，等.基于Petri網(wǎng)的物流倉(cāng)庫(kù)多AGV調(diào)度方法的研究[J].高技術(shù)通訊，2019，29（05）：494-502.

〔6〕李晨，魏玉光.基于Petri網(wǎng)模型的口岸站作業(yè)流程分析及優(yōu)化[J].鐵道運(yùn)輸與經(jīng)濟(jì)，2020，42（02）：97-106+118.

〔7〕劉慶，丁小鵬，黃好欽，等.基于工業(yè)工程方法的某高校新生報(bào)到流程優(yōu)化[J].科技視界，2019，26（02）：50-51.

〔8〕王歡燕.基于信息化技術(shù)促進(jìn)學(xué)校新生報(bào)到流程的優(yōu)化[J].電腦編程技巧與維護(hù)，2013，17（08）：145-146.

〔9〕左楊.基于Web的新生入學(xué)報(bào)到系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)[D].成都理工大學(xué)，2016.

〔10〕徐峻.高校迎新流程的優(yōu)化及迎新系統(tǒng)的設(shè)計(jì)與開(kāi)發(fā)[D].電子科技大學(xué)，2019.

〔11〕吳哲輝.Petri網(wǎng)理論[M].北京：機(jī)械工業(yè)出版社，2006.6-22.

〔12〕方賢文.Petri行為輪廓理論及其應(yīng)用[M].上海：上海交通大學(xué)出版社，2017.1-16.

〔13〕喬靜.工作流的相似度比較和推薦斱法研究[D].杭州電子科技大學(xué)，2017.

收稿日期：2021-11-03

基金項(xiàng)目：國(guó)家自然科學(xué)基金（61402011）

3325501908215