基于随机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