随着社会经济的发展以及人口老龄化的加剧,人们对医疗卫生服务的需求不断增长。临床医学检验作为医疗卫生事业中的重要分支,为疾病的预防、诊断和管理提供着至关重要的信息。自动化医学分析系统的出现,使得取样、离心、去盖、分杯、加试剂、升温等一系列过程趋向自动化,很大程度上提高了检测速度、检测准确度以及生物安全性,极大地推动了临床检验医学的发展。然而,目前国内的自动化医学分析系统主要依赖进口,对该系统的理论模型进行深入研究是在医学检验自动化方向实现技术自主的切入点和前提。自动化医学分析系统属于典型的离散事件系统。本文使用离散事件系统的经典建模工具Petri网对该系统进行建模,从离散事件系统的角度,对其优先级调度、资源利用优化和检验序列规划问题进行分析,然后提出相应的运行控制策略,并通过仿真实验证明本文的控制策略能够实现控制目标。本文的主要工作总结为以下四点:1、针对医学检验中检测试剂、酸碱试剂等存在被消耗的现象提出一类新的资源消耗型Petri网子类,增强了Petri网的建模功能;同时,为了以形式化语言的方式研究自动化医学分析系统,构建了基于标签Petri网的资源消耗型网模型。2、针对自动化医学分析系统的优先级调度需求,提出基于变迁优先级的控制策略。首先基于实际需求设置一个变迁优先级矩阵,利用程序分析每一个“理论”使能的变迁是否“真正”使能,从而控制变迁的发射顺序。在该控制策略下,确保系统能够受控完成某个需要优先完成的进程,即优先完成部分加急样本的检测。3、为了最大化地利用检测试剂等资源,在已知Petri网初始标识的前提下,根据资源消耗特性划分出控制目标,然后基于可达图并结合标签的实际意义确定一条合理的变迁发生路径,通过添加控制器使得系统按照预期的变迁路径运行,从而实现资源利用优化目标。最后对比模型添加控制器前后的运行状况的仿真结果,验证了该控制策略的可行性和有效性。该控制策略的算法已使用MATLAB完成了程序实现。4、基于自动化医学分析系统的检验序列规划目标,设计变迁序列-诱导控制器使得系统在给定一个预期的设备运转序列后实现与之一致的运行轨迹。首先给出目标标签序列,通过初始资源配置优化方案确定一个初始标识及对应的变迁发生序列,然后据此来对模型添加变迁序列-诱导控制器,该控制器通过诱导库所来控制网模型的变迁发生顺序,并通过不同规格的模型算例验证了该控制器能够有效控制运行轨迹。