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

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

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