基于随机Petri网廉租房系统的建模与分析

Petri网是一种图形化建模分析工具，它应用广泛其范围己远远超出了计算机科学的领域。本文以廉租住房管理系统为例， 提出了一个基于随机Petri网工作流建模的方法，对模型的正确性进行了验证。并利用随机Petri对系统进行了分析，对工作流的性能进行了定量分析 。
关键词：廉租住房；随机Petri网；工作流
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