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

doi:10.11772/j.issn.1001-9081.2015.12.3520

计算机应用 ›› 2015, Vol. 35 ›› Issue (12): 3520-3523.DOI: 10.11772/j.issn.1001-9081.2015.12.3520

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

王磊¹, 王弼陡¹, 罗刚银¹, 聂兰顺², 战德臣², 田浩然¹

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

收稿日期:2015-05-29 修回日期:2015-09-14 出版日期:2015-12-10 发布日期:2015-12-10
通讯作者: 战德臣(1965-),男,吉林延吉人,教授,博士,主要研究方向:企业建模、软件建模
作者简介:王磊(1982-),男,河北唐山人,助理研究员,博士,主要研究方向:模型驱动工程、调度优化算法;王弼陡(1972-),男,吉林长春人,研究员,博士,主要研究方向:体外诊断决策控制;罗刚银(1983-),男,四川德阳人,副研究员,博士,主要研究方向:模型驱动工程;聂兰顺(1979-),男,黑龙江甘南人,副教授,博士,主要研究方向:调度优化算法;田浩然(1982-),男,辽宁鞍山人,助理研究员,硕士,主要研究方向:调度优化算法。
基金资助:
国家自然科学基金资助项目(61273038);国家科技支撑计划项目(2015BAI30H01);江苏省科技支撑计划项目(BE2013637);黑龙江省青年科学基金资助项目(QC2012C116)。

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¹

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

Received:2015-05-29 Revised:2015-09-14 Online:2015-12-10 Published:2015-12-10

摘要/Abstract

摘要： 针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。

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

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.

Key words: Time-Petri Net (TPN), Point-Of-Care Testing (POCT), modeling method, scheduling simulator, optimization analysis

中图分类号:

TP311

王磊, 王弼陡, 罗刚银, 聂兰顺, 战德臣, 田浩然. 时间Petri网在即时检验流程建模中的应用[J]. 计算机应用, 2015, 35(12): 3520-3523.

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.

参考文献

[1] HULSHOF P J H, KORTBEEK N, BOUCHERIE R J, et al. Taxonomic classification of planning decisions in health care:a review of the state of the art in OR/MS[J]. Health Systems, 2012, 1(2):129-175.
[2] VUYST S D, BRUNEEL H, FIEMS D. Computationally efficient evaluation of appointment schedules in health care[J]. European Journal of Operational Research. 2014, 237(3):1142-1154.
[3] DENTON B T, ALAGOZ O, HOLDER A, et al. Medical decision making:open research challenges[J]. ⅡE Transactions on Healthcare Systems Engineering. 2011, 1(3):161-167.
[4] SILVA M, TERUEL E. Petri nets for the design and operation of manufacturing systems[J]. European Journal of Control, 1997, 3(3):182-199.
[5] VALENTIN V, EMILIA M C, GREGORIO D, et al. A Petri net approach for the design and analysis of Web services choreographies[J]. The Journal of Logic and Algebraic Programming, 2009, 78(5):359-380.
[6] GRADISAR D, MUSIC G. Automated Petri-net modeling based on production management data[J]. Mathematical and Computer Modelling of Dynamical Systems, 2007, 13(3):267-290.
[7] SIMONA B, JAVIER C, JOSE M. Timing-failure risk assessment of UML design using time Petri net bound techniques[J]. IEEE Transactions on Industrial Informatics, 2011, 7(1):90-104.
[8] LIU J, SONG W, ZHOU T. Formal analysis approaches of train control system based on Petri nets[J]. Journal of Computer Applications, 2013, 33(4):1132-1135. (刘建昆,宋文,周涛.基于Petri网的列控系统形式化分析方法[J].计算机应用,2013,33(4):1132-1135.)
[9] HUANG X, XIA A. Web services composition model based on colored Petri net and classified services[J]. Computer Integrated Manufacturing Systems, 2009, 15(1):53-62. (黄小庆,夏安邦.基于有色Petri网和分类服务的Web服务组合模型[J].计算机集成制造系统,2009,15(1):53-62.)
[10] CUI Y, YUE X, ZHOU K. Parallel test combining timed Petri net with GA-PSO algorithm[J]. Journal of Computer Applications, 2010, 30(7):1902-1905. (崔玉爽,乐晓波,周恺卿.时间Petri网与GA-PSO算法相结合的并行测试[J].计算机应用,2010,30(7):1902-1905.)
[11] BOWDEN F D J. A brief survey and synthesis of the roles of time in Petri nets[J]. Mathematical and Computer Modelling, 2000, 31(10-12):55-68.
[12] LI F, GU T, XU Z. Symbolic reachability analysis of Petri nets using ZBDDs[J]. Chinese Journal of Computers, 2009, 32(12):2420-2428. (李凤英,古天龙,徐周波.Petri网的符号ZBDD可达树分析技术[J].计算机学报,2009,32(12):2420-2428.)

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

[1]	曹策俊, 刘桔. 灾害运作管理中应急组织决策建模方法综述[J]. 计算机应用, 2020, 40(7): 2142-2149.
[2]	王纯子黄光球. 基于脆弱性关联模型的网络威胁分析[J]. 计算机应用, 2010, 30(11): 3046-3050.
[3]	崔玉爽乐晓波周恺卿. 时间Petri网与GA-PSO算法相结合的并行测试[J]. 计算机应用, 2010, 30(07): 1902-1905.
[4]	曹海. 基于时间Petri网的事件关联检测机制研究[J]. 计算机应用, 2008, 28(5): 1313-1315.