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

Modeling and analysis of Hospital Sickroom Guardian System using Petri Nets

作　　者：李文翔[1] 

机构地区：[1]福建对外经济贸易职业技术学院信息技术系,福建福州350016

出　　处：《软件》2012年第6期75-76,共2页Software

摘　　要：结合医院病房监护系统的问题描述,给出了系统的监护流程图,在流程的基础上建立了相应的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.

关 键 词：PETRI网 病房监护系统 建模 分析 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]