一种分布式实时嵌入式系统的调度分析算法

针对现有的基于Petri网的调度分析算法存在的不足,提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度;通过引入并行间隔,记录了调度序列中的并行变迁的相对执行时间;在计算调度长度时,使用并行间隔作为并行变迁的执行时间,从而得到了正确的调度分析结果。     

基于Petri网的分布式实时多媒体同步模型

利用Petri网这个形式化的工具对多媒体同步模型进行了描述，并借鉴了DTPN的交互思想和XTSPN的动态语义，使该模型具有交互性，并能克服网络延迟等影响．     

计时扩展双变迁Petri网及其分析技术

扩展双变迁Petri网是一种适合嵌入式系统的建模工具。但是，不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁Petri网的变迁引入时间因子，以及该模型结构特征的分析研究，给出了计时扩展双变迁Petri网，及其状态方程和时间分析算法，从而使双变迁Petri网的描述能力增强；利用时间分析算法，可初步实现嵌入式系统的时间分析，为双变迁Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具，以便于开发人员自动地分析系统的时间性能。     

基于Petri网的分布式多媒体同步技术研究

实现分布式多媒体同步的前提,需要借助于时间模型和形式化描述工具对多媒体同步关系进行抽象和描述．在对媒体时序关系和多媒体动态同步特性进行研究的基础上,运用Petri网数学工具,提出一种适应通信网络技术发展的多媒体同步模型．     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实验问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

分布式实时嵌入式系统端到端性能确保

针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高系统吞吐量。实验结果证明ICA能为具有端到端非周期任务模型的分布式实时嵌入式系统提供更好的性能确保。     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

计时扩展双变迁Petri网及其分析技术

扩展双变迁 Petri网是一种适合嵌入式系统的建模工具。但是 ,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁 Petri网的变迁引入时间因子 ,以及该模型结构特征的分析研究 ,给出了计时扩展双变迁 Petri网 ,及其状态方程和时间分析算法 ,从而使双变迁 Petri网的描述能力增强 ;利用时间分析算法 ,可初步实现嵌入式系统的时间分析 ,为双变迁 Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具 ,以便于开发人员自动地分析系统的时间性能。     

基于Petri网的系统可靠性分析

本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树，并且考虑配置维修设备，可修系统的动态行为可以借且Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究。     

基于有色Petri网建模的AGVS优化调度规则研究

针对烟草行业卷接包生产车间的自动化物流系统，提出了基于有色Petri网建模的方法，设计出了一个有铲的AGVS优化调度规则专家系统，有效地提高了物流系统的生产效率。     

信息物理融合系统的面向对象Petri网建模

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．     

分布式资源共享系统的进展性设计

无饥饿性和活性是系统进展性的典型问题，基于不变式理论，针对一类Petri网，提出了分布式资源共享系统强制公平性和活性的方法。首先，基于T-不变式，把系统的网模型设计为一个公平网。此后，利用P-不变式把一个公平的网模型设计为一个活且公平网，以著名哲学家就餐问题为例，说明了这种方法的应用。     

FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．该模型可以很方便地转换为系统的控制代码或实时控制软件     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

关键安全性分布嵌入式系统测试平台研究

研究基于PC和嵌入式系统的关键安全性分布嵌入式汽车控制系统的测试平台的设计开发.针对不同软、硬件架构的分布嵌入式系统在其关键安全性能上的仿真实验, 探索构架安全性系统的最优化体系结构. 以具有自容错功能的汽车自适应巡航定速系统为例, 分析本测试平台对关键安全性系统的研究及评估. 开发了汽车的动态仿真模型、高速公路交通流量模型和汽车驾驶员模型, 且进行了相应的仿真验证确保所开发的系统模型能较接近实际运用系统及应用环境. 通过所开发的集成仿真环境可进行不同的设置, 能有效模拟外界不确定因素对测试系统的干扰及其交通流量情况, 反映被测试的关键安全性系统的可靠性能. 该测试平台能为无法进行实际测试运行的关键安全性系统的研究提供有效的仿真实验支持.     

基于Petri网的高混凝土坝施工机械配套优化仿真

高混凝土坝施工过程中,施工机械配套问题的复杂多样性是影响施工的瓶颈.在将高混凝土坝施工过程抽象为一个复杂多级有限源随机服务系统的基础上,将施工机械作为库所的元素,元素状态的变化过程作为变迁,根据施工过程中库所和变迁之间的逻辑关系构建了高混凝土坝施工系统的赋时Petri网仿真模型,并利用面向对象的仿真方法编制了该模型的仿真程序.仿真计算结果分析表明,该模型能够有效地解决施工过程中施工机械之间相互关联、制约、同步和资源共享等问题,优化了施工机械的配套方案,较好地反映了施工机械状态的动态变化情况.     

采用基本标识图的Petri网控制策略

提出了一种基于基本标识图的Petri网的在线监督控制策略．首先根据原Petri网的初始标识与变迁的可控性,建立基本标识图,通过求解整数规划将其中节点标记为合法或弱非法标识．之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制,从而防止系统到达非法标识．该控制策略能够避免可达图的穷举计算,具有良好的效率．     

局部公平网的充要条件研究

Petri的局部公平性反映了网系统在局部行为的公平关系，给出了局部公平Petri网的一个充要条件，即如果Petri网具有若干个互不相交的变迁不变式的支撑，则该网是为变迁不变式覆盖的。同时提出了状态观测器的概念，根据网的库所不变式理论，通过把网中所有的状态观测器设计为一个库所不变式，可把一个局部公平网设计为一个公平网。最后给出了状态观测器初始标志的确定方法，来最大限度地保证网系统的行为不受观测器的约束。     

基于Petri网的并行任务规划器

本文具体讨论了基于Ｐｅｔｒｉ网理论的并行任务规划器的设计与实现，提出将Ｐｅｔｒｉ网结合人工智能技术构造出基于网的智能系统来描述计算机集成制造系统（ＣＩＭＳ）的思路．该并行任务规划器已在ＳＵＮＳＰＡＲＣ机器上用Ｃ语言实现，达到预期设计目的     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.