医院病房监护系统的Petri网建模与分析

Modeling and analysis of Hospital Sickroom Guardian System using Petri Nets

结合医院病房监护系统的问题描述,给出了系统的监护流程图,在流程的基础上建立了相应的Petri网模型。最后对该模型进行可达性、安全性、有界性和活性四个主要的性质进行分析。

Based on the description of the Hospital Sickroom Guardian System,the guardian flow chart is investigated in this paper.Then the Petri-Net model is established based on the flow.And the properties of this model—reachability,boundedness,safety and liveness are analyzed.