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

【文件属性】：

文件名称：医院病房监护系统的Petri网建模与分析 (2012年)

文件大小：2.37MB

文件格式：PDF

更新时间：2024-06-11 00:15:51

工程技术 论文

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