| 时间Petri网在即时检验流程建模中的应用 |
| |
| 引用本文： | 王磊,王弼陡,罗刚银,聂兰顺,战德臣,田浩然. 时间Petri网在即时检验流程建模中的应用[J]. 计算机应用, 2015, 35(12): 3520-3523. DOI: 10.11772/j.issn.1001-9081.2015.12.3520 |
| |
| 作者姓名： | 王磊 王弼陡 罗刚银 聂兰顺 战德臣 田浩然 |
| |
| 作者单位： | 1. 中国科学院苏州生物医学工程技术研究所, 江苏苏州 215163;2. 哈尔滨工业大学计算机科学与技术学院, 哈尔滨 150001 |
| |
| 基金项目： | 国家自然科学基金资助项目(61273038);国家科技支撑计划项目(2015BAI30H01);江苏省科技支撑计划项目(BE2013637);黑龙江省青年科学基金资助项目(QC2012C116)。 |
| |
| 摘 要： | 针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。
|
| 关 键 词： | 时间Petri网 即时检验 建模方法 调度仿真器 优化分析 |
| 收稿时间： | 2015-05-29 |
| 修稿时间： | 2015-09-14 |
Application of time-Petri net for process modeling of point-of-care testing |
| |
| WANG Lei,WANG Bidou,LUO Gangyin,NIE Lanshun,ZHAN Dechen,TIAN Haoran. Application of time-Petri net for process modeling of point-of-care testing[J]. Journal of Computer Applications, 2015, 35(12): 3520-3523. DOI: 10.11772/j.issn.1001-9081.2015.12.3520 |
| |
| Authors: | WANG Lei WANG Bidou LUO Gangyin NIE Lanshun ZHAN Dechen TIAN Haoran |
| |
| Affiliation: | 1. Suzhou Institute of Biomedical Engineering and Technology, Chinese Academy of Sciences, Suzhou Jiangsu 215163, China;2. School of Computer Science and Technology, Harbin Institute of Technology, Harbin Heilongjiang 150001, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Time-Petri Net (TPN) Point-Of-Care Testing (POCT) modeling method scheduling simulator optimization analysis |
|
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
