基于Petri網(wǎng)的A企業(yè)域名注冊(cè)與續(xù)費(fèi)流程優(yōu)化.pdf

1、本文的研究?jī)?nèi)容源自于A公司的新電子商務(wù)系統(tǒng)研發(fā)項(xiàng)目。A公司是一家提供域名注冊(cè)的IDC服務(wù)商。筆者在項(xiàng)目實(shí)施該過程中參與新系統(tǒng)的系統(tǒng)需求分析工作，與同事一起調(diào)研公司內(nèi)部業(yè)務(wù)活動(dòng)及流程，分析討論公司的流程分析與優(yōu)化。本文主要進(jìn)行域名注冊(cè)流程和域名續(xù)費(fèi)流程的分析以及優(yōu)化工作。
　　由于Petri網(wǎng)技術(shù)具有形式化的語義定義、直觀的圖形表達(dá)、嚴(yán)格的數(shù)學(xué)基礎(chǔ)以及基于狀態(tài)的描述等優(yōu)點(diǎn)。
　　本文將其用于工作流過程建模和流程優(yōu)化。文中對(duì)Pe

2、tri網(wǎng)的原理、特性、關(guān)聯(lián)矩陣及Petri網(wǎng)的正確性驗(yàn)證進(jìn)行了分析研究。利用Petri網(wǎng)分析技術(shù)對(duì)工作流的業(yè)務(wù)過程進(jìn)行了建模描述:基于Petri網(wǎng)的建模方法，建立了公司域名注冊(cè)及續(xù)費(fèi)流程的Petri網(wǎng)模型。利用Petri網(wǎng)的特性對(duì)所建立的Petri網(wǎng)模型的結(jié)構(gòu)正確性，安全性活性進(jìn)行了論證分析。依據(jù)Petri網(wǎng)關(guān)聯(lián)矩陣重組，分別對(duì)域名銷售和域名續(xù)費(fèi)業(yè)務(wù)流程的模型進(jìn)行了重組優(yōu)化。最終建立優(yōu)化后的域名注冊(cè)與續(xù)費(fèi)流程的Petri網(wǎng)模型，并驗(yàn)證分