基于petri網(wǎng)的文件審批系統(tǒng)工作流建模
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>482 K
所需積分：0分積分不夠怎么辦？
文檔介紹：以工作流技術(shù)為基礎(chǔ)，將基于petri網(wǎng)的建模方法應用到文件審批系統(tǒng)的分析過程中，構(gòu)建系統(tǒng)的petri網(wǎng)模型，并利用petri網(wǎng)化簡規(guī)則，對該模型進行了結(jié)構(gòu)上的正確性驗證；同時，通過模型的可覆蓋樹對模型的可達性、活性、有界性等petri網(wǎng)的性質(zhì)進行了驗證。結(jié)果證明，該技術(shù)能夠在文件審批系統(tǒng)中進行建模和可行性驗證。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。