时间Petri网在即时检验流程建模中的应用
来源：计算机应用杂志2015年第12期北京时间：
作者：王磊, 王弼陡, 罗刚银, 聂兰顺, 战德臣, 田浩然
单位：1. 中国科学院苏州生物医学工程技术研究所, 江苏苏州 215163;2. 哈尔滨工业大学计算机科学与技术学院, 哈尔滨 150001
摘要：针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。
关键词：时间Petri网,即时检验,建模方法,调度仿真器,优化分析
基金资助：国家自然科学基金资助项目(61273038);国家科技支撑计划项目(2015BAI30H01);江苏省科技支撑计划项目(BE2013637);黑龙江省青年科学基金资助项目(QC2012C116)。
