基于Petri网研究选择性拆卸

废弃产品的拆卸回收是绿色制造中的关键技术。运用Petri网作为数学工具描述产品的拆卸树，并用自定义的语法作形式化的表达，重点研究了选择性拆卸问题。这对于废弃产品的回收、重用以及日常的维修，都具有重要作用。基于拆卸Petri网，提出了两种评价函数，并运用反向启发式搜索策略，形成了一个改进型的算法。最后对一个工程实例作了具体研究，验证了方法的可行性，使得选择性拆卸序列具有供现场机器人实用的价值。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

基于时间Petri网的动画描述模型*

提出了基于时间Petri网的动画描述模型, 并结合面向对象方法对动画脚本中角色和情节进行描述, 用该模型来设计的一个动画脚本描述语言已经实现.     

基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

基于启发式搜索的主题策略研究

介绍目前较为常用的启发式搜索策略,重点探讨A＊搜索策略,在此基础上提出一种改进的基于启发搜索与网页链接和内容相关度结合起来的新型主题搜索算法．最后通过实验对新算法和最好优先以及A＊搜索进行比较。     

基于启发式搜索的配电网供电恢复系统

基于配电网的特点,提出了适用于实时控制的配电网供电恢复计算方法－－启发式搜索法,该方法定义了恢复方案的综合评价函数,首先求出各个联络开关的一阶负荷矩,对“弧立岛”所有可能的恢复供电路径按步骤穷举搜索,可快速搜索出可行的供电恢复方案,再利用评价函数确定最佳的供电恢复方案。     

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

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

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

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

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。     

Petri网的活性与安全性的理论研究

针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网（ESAC）进行了再一次扩张,定义了新扩展的强化非对称选择网（NESAC）。通过对NESAC的活性与安全性的讨论,得到了非对称选择网（AC）的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法。该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征。     

武器装备采办管理组织结构的Petri网建模与分析

分析了用Petri网描述武器装备采办管理组织结构的可行性,运用并行工程的方法建立了采办管理组织结构的Petri网模型,并简要介绍了对此模型进行定量分析的几种技术和方法。     

智能搜索中启发函数的选择及启发能力分析

以八数码难题实例的启发式搜索,分析了估价函数f(n)中不同的启发函数h(n)对搜索过程的影响,比较了3种不同h(n)的搜索效率.指出了选择最佳启发函数h*(n)的原则,讨论了八数码难题启发函数思路的通用性,并对A*算法及其可纳性和启发能力进行了深入研究.     

模糊Petri网的发展

模糊Petri网是Petri网与知识表达的结合,是从Petri网基础上扩展而来的。对模糊Petri网的一些发展状况作了概括。总结了模糊Petri网基本理论和近期的理论进展;指出了各种应用的发展热点和难点;指出模糊Petri网的研究方向、研究方法和它在各领域当中的应用;最后对模糊Petri网的未来发展作了总结。     

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

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

Petri网络理论在电网故障诊断中的应用

论述了基于Petri网络理论进行电网故障诊断的方法，描述了故障元件、保护、开关之间内在的动作关系，提出了运用简单的矩阵计算进行诊断的方法，与传统的专家系统相比，大大减少了诊断时间，提高了准确度，适用于各种网络拓扑，网络测试表明：该方法快速、准确，适于在线运行。     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网（SPN）对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。