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

时间Petri网在即时检验流程建模中应用 　　摘要：针对即时检验系统的设计与开发建模问题，提出一种基于时间Petri网的并发系统建模分析方法，为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中，提出了适用于即时检验系统建模的时间Petri网建模方法，并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要，为流程仿真和分析提供有力工具，从而辅助系统设计者对即时检验系统进行优化。 　　关键词：时间Petri网；即时检验；建模方法；调度仿真器；优化分析 　　中图分类号： TP311 　　文献标志码：A 　　Abstract： 　　Concerning the problems of designing and modeling the process of PointOfCare Testing （POCT） system， a method for concurrence system modeling and analyzing based on TimePetri Net （TPN） was proposed which built more accurate informatio