弱引发三态加时变迁Petri多动态行为分析

中提出的弱引发三态加时Ｐｅｔｒｉ网比现有三态加时变迁Ｐｅｔｒｉ网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统;给出其动态行为形式化描述与分析框架;基于此和受控执行概念,并结合实际并发系统的一类调度问题,研究其动态行为的一些性质,有关结构可用于优化并发系统的有限资源的配置。     

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

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

Petri网的动态行为研究方法分析

Petri网是适应于形式化软件开发的很好的描述工具.Petri网理论研究分为建模与验证两个方面,结构技术是Petri网的验证技术的基本方法之一,其主要核心是基于死锁,基于这一方法的研究已取得一些很好的结果,但死锁的个数足网规模的指数阶的.这就意味着目前有关网的理论研究结果与实用的验证方法有着一条难于逾越的鸿沟.本文对Petri网的动态行为研究方法给出了一个较为详尽的概述.     

基于Petri网接口变迁的交互流程模型模块网挖掘方法

交互流程模型的模块分解是查找流程模型变化域的核心内容之一,已有的模块分解方法多是基于完整的流程模型,通过挖掘对比流程模型中所有活动的行为关系将流程模型分解为多个模块网。但是在基于单纯的事件日志分解交互流程模型方面,目前的模块分解方法存在一定的局限性。提出基于Petri网接口变迁的交互流程模型模块网挖掘方法,首先基于系统运行所记录的局部有效事件日志确定其中各活动间的前驱后继关系,并得到相应的活动前驱后继关系表。然后,基于前驱后继关系频繁的活动查找接口变迁,同时考虑无后继变迁的活动。其次,通过分析接口变迁的前集变迁查找交互流程模型中各个模块网的初始变迁,并由初始变迁开始,利用活动前驱后继关系表,逐个添加活动,以此挖掘交互流程模型的模块网。论文最后通过实例验证该优化方法的有效性。     

基于Petri网的Job_Shop动态调度问题的模型和仿真

在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级三种情况。最后,以CPN Tools为工具,结合一个Job_Shop调度问题实例,对模型进行了仿真研究,并对结果进行详细的分析。仿真结果表明,提出的模型具有较强的动态响应能力和有效性。     

利用不变量综合具有不可控变迁DES的Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题,给出了一类Petri网位置不变量存在的必要和充分条件,基于路增益的概念,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器。     

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

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

广义随机Petri网及性能分析

对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。     

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

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

用面向对象方法实现基于Petri网的FMS动态调度仿真

Ｐｅｔｒｉ网模型是ＦＭＳ动态仿真的有利工具。本文利用面向对象方法对ＦＭＳ和有色赋时Ｐｅｔｒｉ网进行了描述,并根据最小下次事件时间进原理,利用Ｖｉｓｕａｌ Ｃ＋＋建立了动态调度仿真系统。结果表明,面向对象方法具有表达直观,自然,可扩充性,实现容易,简便等优点。     

一类带有限制向量的时延离散Petri网

在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。     

基于扩展TTPN的多任务加工系统建模及资源优化

引入分类信息拓展赋时变迁Petri网(TTPN),给出扩展赋时变迁Petri网(ETTPN)模型定义,以分类集成方法,建立多任务加工系统ETTPN模型.与传统TTPN建模相比,该模型建模复杂度显著下降.结合多任务加工系统ETtPN模型,提出资源优化配置算法,通过实例验证该算法的有效性.