基于有色Petri网的Web服务协商

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同应用中QoS对象关注程度确定权重,采用加权模糊推理模型构造应用函数,作为协商的依据。分析表明,该模型对服务发现与服务集成中自治实体间达到共识是有效的。     

基于混杂Petri网的柔性制造系统免疫调度算法

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。     

基于Petri网的Web个性化服务

Web站点的个性化服务功能,可以帮助用户快速找到其所需的信息。基于推荐系统是当前实现个性化服务的主要方法。这种个性化服务方法存在显示不直观和重复计算的缺点。本文给出了基于Petri网的Web个性化服务方法,克服了基于推荐方法的缺点,并讨论了进一步的研究工作。     

基于元模型的模糊Petri网反向传播学习算法

模糊Petri网是知识表达与并行推理的重要工具,但拓扑为非严格分层的结构。为在不增加虚节点的情况下实现模糊Petri网的反向传播学习,提出模糊Petri网元模型的概念,统一四种基本产生式规则对应的模糊Petri网模型。并建立元模型的结论置信度关于条件置信度的连续映射,给出了正向推理算法。为提高收敛速率,先通过基于回溯策略的反向推理算法,计算元模型结论置信度对条件置信度的梯度函数,最后采用Levenberg-Marquardt算法实现权值优化。     

基于时间Petri网的电力系统故障恢复算法的研究

随着电网建设的逐步升级和加强,电网结构趋于成熟稳定,但也愈加庞大复杂。电网不可避免受到故障影响而导致停电,严重危害社会经济的持续发展,因此,电力系统故障恢复问题的研究正成为完善电网建设的一项重要任务。时间Petri网是一种用于描述系统动态行为和分析系统动态性质的数学模型,对描述和分析并发现象有其独到的优越之处,非常适合于异步并发系统的建模。用时间Petri网来解决故障恢复是一种新型算法。根据时间Petri网的特点,利用时间Petri网为配电网典型结构建立模型,应用迪杰斯特拉计算机算法,辅助计算电力系统配电网故障恢复的最优路径。举例验证本算法的有效性。     

基于蚁群算法的随机Petri网最优路径序列寻找

根据蚁群算法对SPN进行了一定的扩展,为SPN网络中的变迁增加了过滤和保留信息功能,为库所增加了过滤信息的功能,得出了一种带有记忆性的连续时间随机Petri网(MESPN).当MESPN运行时,利用充足量的托肯在网络中行走并且在行走过程中留下信息素来调整托肯路径的选择,使大量蚂蚁的行走路线不断逼近SPN网中时间延迟更短的变迁序列,最终在最短变迁序列上形成清晰的蚁路,从而在一定程度上解决了复杂SPN网的最优路径寻找问题.该算法充分考虑了每个变迁真正实施时间的概率特性,可以计算任意网型的变迁延迟时间概率分布.仿真结果表明,托肯可以有效地在最短延时路径上形成蚁路并且能够求得从初始库所到网络中任意库所的最短路径.     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

基于代数的模糊Petri网逆向推理算法

分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关的简单的系统,减小空间复杂度。最后举例说明了它的应用。     

一种基于模糊Petri网的并行推理方法

把模糊Petri网模型转化为矩阵形式,在此基础上提出了一种并行推理算法。算法将推理过程转化为矩阵运算,不但考虑了前提条件的权值、变迁阈值和规则可信度等因素,还进一步将变迁触发条件严格化,有效的避免了一些变迁不必要的重复触发,降低了算法复杂度。通过实例说明,此推理算法易于实现并可以提高推理效率,尤其适合较大较复杂的模糊Petri网模型。     

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.     

基于高级Petri网的RED改进算法研究

扩展Petri网对逻辑运算结果为互斥时的图形表示方法。建立基于高级Petri网的随机早期预测(RED)算法模型,通过分析该模型,从理论上证明了RED算法存在缺陷的主要原因是不同网络、不同链路的往返响应时间(RTT)差异大。由此改进RED的模型并提出相应的改进算法,定期监测各队列平均长度的变化率,当其值大于阈值时增加丢弃概率,提前通知源端降低发送速率,否则转发队列中的数据包,以此缩小不同网络、不同链路的RTT差异,达到避免网络拥塞的目的。用NS-2仿真平台进行仿真实验,结果表明改进模型及其算法能有效改善丢包率、端到端的延时等性能指标,验证了改进算法的有效性。     

基于Petri网模型的柔性制造系统优化调度

柔性制造系统（flexible manufacturing system, FMS）调度问题属于NP难题, 针对该问题利用赋时库所Petri网（timed place Petri net, TPPN）对FMS进行建模, 在此基础上, 提出了利用改进的嵌套分区（nested partitions, NP）算法对建立的TPPN模型进行优化调度. 采用来自半导体制造的末端测试系统 数据做数值试验, 结果表明, 基于TPPN模型的改进嵌套分区优化调度算法较其它常用算法具有更 好的平衡指数, 可有效降低最大完工时间.     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

基于Petri网运算的系统范例分析

文献［１］中首次提出了Ｐ／Ｔ网的加法运算与笛卡尔积运算的概念，并对这两种运算的代数性质进行了研究。本文基于文献［１］的结果，对柔性制造系统、资源共享系统、控制系统中若干范例进行分析，从而显示了Ｐｅｔｒｉ网运算的背景及其意义。     

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

基于测试重要度的Petri网序列优化算法

针对故障诊断测试序列优化问题,提出一种基于测试重要度的Petri网序列优化算法。该方法依据测试代价原则,并引入测试重要度函数,采用Petri网全局搜索算法,在传统测试优化目标测试费用和故障检测率的基础上,选择包含故障信息量大的测试,有效缩减测试序列的长度,并结合测试代价的反馈计算,减少总体测试费用。研究表明,所提出的优化算法克服了传统算法陷入局部优化的缺点,能够有效地减少总体测试代价。     

基于Petri网矩阵模型仿真的改进算法

Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法。在包含瞬时活动的情况下，传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁，而是推迟到下一个步长，从而产生不精确的仿真结果。对此提出一种新的定步长仿真算法，得到了完全符合系统真实行为的仿真结果。算法进一步推广到基于事件调度的仿真方法中，可显著提高仿真效率。     

基于主体的语义Web服务的Petri网模拟方法

语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程，并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体，媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时，这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题，利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。     

基于Petri网和GASA的JSP动态分类调度研究

针对车间作业的加工受到机床、操作工人等双资源制约条件下出现多种扰动的JSP调度问题,提出了基于受控Petri网和GASA对不同扰动进行分类处理的新方法。首先通过构建带有控制器的Petri网模型使系统的运行满足期望的目标,然后基于该模型把遗传算法和模拟退火算法相结合,以最小化最大完工时间为目标,基于机床故障修复时间、工人离岗时间及取消订单包含任务的多少进行分类调度,然后根据扰动恢复后剩余任务的多少决定是否进行再次调度,避免大范围调整造成的生产不稳定状态,最大限度的维持车间的生产能力。最后通过实例验证了算法的有效性和可行性。     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。