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

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

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