Modeling and Analysis of Low-rent Housing Management System Based on Stochastic Petri Net

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.