Petri網(wǎng)是一種圖形化建模分析工具，它應(yīng)用廣泛其范圍己遠(yuǎn)遠(yuǎn)超出了計(jì)算機(jī)科學(xué)的領(lǐng)域。本文以廉租住房管理系統(tǒng)為例， 提出了一個(gè)基于隨機(jī)Petri網(wǎng)工作流建模的方法，對(duì)模型的正確性進(jìn)行了驗(yàn)證。并利用隨機(jī)Petri對(duì)系統(tǒng)進(jìn)行了分析，對(duì)工作流的性能進(jìn)行了定量分析 。
關(guān)鍵詞：廉租住房；隨機(jī)Petri網(wǎng)；工作流
Modeling and Analysis of Low-rent Housing Management System Based on Stochastic Petri Net (School of Computer and Electronics and Information, GuangXi university, Nanning, 530004, China) Abstract : Petri Net is a graphic tool for modeling and analysis .It is used widely beyond computer science field . It is illustrated by Low-rent housing management system in this paper, a workflow modeling method be proposed based on stochastic Petri Net, test the model and analyze the system using the Stochastic Petri Net, quantity analysis of the workflow performance .
Key words : Low-rent housing ; Stochastic Petri Net; Workflow