时间Petri网在即时检验流程建模中的应用  

Application of time-Petri net for process modeling of point-of-care testing

作　　者：王磊[1] 王弼陡[1] 罗刚银[1] 聂兰顺[2] 战德臣[2] 田浩然[1] 

机构地区：[1]中国科学院苏州生物医学工程技术研究所,江苏苏州215163 [2]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机应用》2015年第12期3520-3523,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(61273038);国家科技支撑计划项目(2015BAI30H01);江苏省科技支撑计划项目(BE2013637);黑龙江省青年科学基金资助项目(QC2012C116)

摘　　要：针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。Concerning the problems of designing and modeling the process of Point-Of-Care Testing（ POCT） system, a method for concurrence system modeling and analyzing based on Time-Petri Net（ TPN） was proposed which built more accurate information model for the process designing of POCT system. The activity holding duration was introduced into classical TPN, and the TPN modeling method for POCT control process was proposed. The scheduling simulator embedded in Petri net model was also designed for assisting the analysis, and optimization of the POCT control process. The simulation results show that the proposed modeling method for TPN can satisfy the practical requirement of process modeling of the parallel multi-class POCT control system in the fields such as reachable nodes and running time and provide powerful tool for process simulation and analysis. Furthermore, the proposed TPN can assist the system designer for the optimization of POCT system.

关 键 词：时间PETRI网 即时检验 建模方法 调度仿真器 优化分析 

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