共查询到20条相似文献,搜索用时 78 毫秒
1.
文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用。 相似文献
2.
3.
4.
基于Web的产品设计流程模型 总被引:3,自引:0,他引:3
描述了一个基于Web的设计流程管理系统,该系统以Petri网为数学模型,很好地解决了设计流程Petri网络的表示,详细分析了系统在设计子流程之间同步和异步方式通信的Petri网表示,并给出基于Petri网的三维权限管理模型. 相似文献
5.
基于粗糙集和Petri网的随机流网络可靠性评价方法 总被引:2,自引:0,他引:2
针对随机流网络可靠性建模难的问题,提出一种基于粗糙集和Petri网相结合的随机流网络可靠性评价方法.建立了随机流网络在确定网络状态下的Petri网模型,并利用粗糙集方法求得网络中各边状态对系统状态的重要度;然后以此作为随机流网络的Petri网模型中各变迁的优先因子来控制模型中变迁的激发;最后通过蒙特卡罗仿真求得随机流网络可靠度的估计值.仿真结果表明,该方法是一种计算随机流网络可靠性的有效方法. 相似文献
6.
随着生物网络数据的迅速增长,对这些数据进行模拟分析的工具也随之发展。由于组合了图形化和数学化的特征,Petri网成为这一领域的重要模拟分析工具之一。但是,通过Petri网模拟分析的生物系统大多是一些孤立的生化途径。本文采用Petri网技术对红血球细胞的新陈代谢系统进行建模分析。首先介绍了基本的Petri网概念和分析方法,然后采用Petri网技术研究红血球的新陈代谢系统,建立了红血球新陈代谢系统的Petri网模型,最后计算了该模型中的P、T不变量,并讨论了它们的功能意义。 相似文献
7.
8.
基于XML的生物代谢Petri网模型的标准化 总被引:1,自引:0,他引:1
针对分析生物代谢网络的需要,构建了生物代谢Petri网模型建模环境,并采用基于XML的Petri网标记语言PNML为标准,利用DOM实现XML解析,完成Petri网模型的标准化,通过对代谢网络Petri网模型实例的仿真,验证了标准化模型的正确性。 相似文献
9.
Petri网络在计算机系统中已得到成功的应用。用Petri网络描叙系统能同时获得动静态特性。本文提出了一种以时间为原则过渡的Petri网,简化了Petri网对一些工业过程的描述。同时,应用Petri网的理论,证明了我们提出的一种控制软件系统的优良性。 相似文献
10.
11.
基于Petri网的统一知识表示模型 总被引:2,自引:1,他引:1
本文讨论知识表示的Petri网模型。将多种知识分类表示,对于开发具有较宽领域知识的系统具有重要意义。本文从统一的观点出发,在给出了Petri网的代数规范说明后,将三种主要的知识表示方法分别与Petri网模型之间建立映射系统,这三种知识表示方法为:逻辑表示法,语义网络和产生式系统。 相似文献
12.
基于Petri网的异构协议转换的构造 总被引:4,自引:0,他引:4
异构网络由于协议的不兼容造成异构网络应用进程之间难以难,因此异构网络集成是当前网络工程所面临的困难之一,协议转换是实现异构网络互联的关键技术。文中首先给出协议转换的基本概念,并简述传统的协议转换方法。在此基础上,文中给出了基于Petri网的协议转换的定义,并利用Petri网的T不变量技术和并行组合积技术,按照自底向上的方法,提出了基于Petri网的协议转换器的构造算法及其证明,最后通过实例验证了其 相似文献
13.
14.
将AOE 网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE 网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。 相似文献
15.
研究了使用人工神经网络和加权模糊Petri网对故障进行诊断的方法。针对传统Petri网难以精确地描述故障现象和故障原因之间的复杂关系,将人工神经网络、模糊逻辑和传统Petri网模型结合,定义了一种自适应的加权模糊Petri网模型以及模型的构造方法,在此基础上,提出了一种使用改进的BP算法对模型的权值进行训练的方法,并给出了采用构造的自适应模糊Petri网模型对故障进行诊断的具体步骤。最后对柔性制造系统(FMS)实例的故障进行诊断,验证了此自适应的加权模糊Petri网模型结合了Petri网和人工神经网络的优点,具有很强的故障推理能力以及自适应能力,能有效地对故障进行诊断。 相似文献
16.
代谢网络的模块化分析有助于理解网络的结构和功能。然而,当前众多的模块化分析方法大多将代谢网络考虑为普通的复杂网络,所得模块的生物学意义较低。对枯草芽孢杆菌的核黄素代谢进行Petri网建模分析,研究结果表明:Petri网的T不变量可用于识别代谢网络中的功能模块,具备较好的生物学意义。 相似文献
17.
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型。移动网是在Petri网的基础上增加了移动性并结合了进程代数的优势得到的,适用于描述和刻画移动计算系统。然而,目前并没有对于移动网相应分析方法的研究。为此开展了移动网模型分析方法的研究,给出了移动网可达树的构造算法,提供了移动网模型可达性分析方法,并对移动车辆电话通信系统实例进行了分析。 相似文献
18.
19.
针对船舶电力系统的特点,采用一种启发式电力网络进行拓扑分析模型建立以确定电力系统网络拓扑,在此基础上借鉴电力系统故障诊断的方法,采用Petri网技术对电网进行故障定位以及对不确定信号的诊断与排除,对拓扑分析结果进行修正,以保证拓扑分析的正确性。最后以典型船舶电力系统网络为例,验证了该方法的有效性。 相似文献
20.
近20年来,间歇过程用水网络的研究得到了人们的广泛关注,并取得了一定的发展。以往对间歇过程的水网络集成研究多采用图解法和数学规划法,图解法无法解决与水质、水量无关的目标或约束,数学规划法计算复杂且较难确定最优解。Petri网具有直观的图形表现能力和严密的数学基础,并且具有强有力的分析技术与手段,非常适合于系统的描述和分析。同时时间Petri网是在Petri网的基础上加入时间因素,可用来建立间歇系统的动态模型。故针对半连续间歇化工过程的单杂质用水网络,本文提出了基于时间Petri网建模的方法,分别对有中间储罐和无中间储罐间歇用水网络进行了研究,首先采用水级联分析法构建了夹点分析通用模型,能够快速准确地确定用水过程的水夹点位置和最小新鲜水需求量。然后根据Petri网的逻辑表述能力、动态传播特性、自主学习机制以及水网络设计原则、水网络综合基本原则和水源匹配规则建立了水网络综合Petri网通用模型,对有中间储罐的情况还确定了中间储罐的位置、数量与容量,实现了单杂质间歇过程用水网络的优化设计。最后对文献中实例进行了研究,得到的夹点位置、新鲜水用量以及用水网络与文献中一致,表明提出的方法是可行和有效的。该方法模型简单、直观,避免了水级联表格的繁复计算,拓展了Petri网在过程领域的应用。 相似文献