共查询到20条相似文献,搜索用时 350 毫秒
1.
给出了一种变速连续
Petri 网的定义及主要性质 .详细阐述了其运行算法.在算法中主要考虑了对冲突的检测及处理.给出了一个示例,并通
过仿真得到了其运行情况. 相似文献
2.
本文首先介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法;然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模;最后利用Petri网仿真软件Visual Object Net 对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明本文所建立的基于Petri网的工作流模型是正确的,并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。 相似文献
3.
定义了一类扩展Petri网及其引发规划,标志矩阵和关联矩阵,并基于矩阵-状态方程,构造了一种适于该网模型分析的启发式算法,提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法,并用上述启发式算法对其进行了分析,验证,最后给出了实例。 相似文献
4.
研究数据流与控制流相结合的测试方法,为进行比较,采用了三个不同的数据流标准,对于控制流选定操作符覆盖标准,提出了求可执行变迁序更列的算法,并且给出了关于测试方法,测试序列数目及错误覆盖能力的比较。 相似文献
5.
本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进,分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。 相似文献
6.
7.
本文给出了计算斐波那契数列和错位排列数的两个增广Petri网模型,然后给出了矩阵描述和状态方程分析,最后导出了已知输入值求其输出值的算法。 相似文献
8.
本文同时给出多项式求值及自然数幂和计算的两个增广Petri网模型,然后给出了矩阵描述和状态方程分析,最后导出了已知输入值求输出值的算法。 相似文献
9.
流水线调度的Petri网分析 总被引:2,自引:0,他引:2
给出了一种基于时延Petri网的流水线建模方法,并对单功能流水线给出求最佳调度方案的算法,对多功能流水线以实例说明了其最仁佳调度方案求法。 相似文献
10.
城市道路交通仿真系统混合Petri网建模 总被引:6,自引:0,他引:6
城市道路交通系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,混合Petri网可以很好地描述城市道路交通网的静态属性及动态行为,为此给出了混合Petri网建模实例,并对模型进行了仿真运行分析,最后介绍了城市道路交通仿真系统的仿真策略与仿真流程图。 相似文献
11.
杨夏妮 《玉林师范学院学报》2014,(2):100-105
提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法. 相似文献
12.
章伟雄 《上海交通大学学报》1988,(4)
本文提出一种利用Petri网进行机器人装配规划的方法。文章主要讨论装配问题的Petri网表示问题并给出了基于该表示方法的规划算法,这个规划算法也可以应用于其它规划问题。 相似文献
13.
李文敬 《广西师范学院学报(自然科学版)》2009,26(3):88-92,112
通过对Petri网可达性的分析,给出满秩Petrl网可达性算法及其实现过程,在VC++平台上对算法进行验算,并对算法运行结果进行可达性讨论;该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法. 相似文献
14.
指出了Cyber网系统的不足之处,引用了变迁激发量的概念,给出了T-Cyber网系统的定义,它是含有抑制弧的Peteri网及受控Petri网的自然扩展。并分析了该网的性质,给出的实例表明该网的实用价值。 相似文献
15.
基于时序模拟法和Petri网的电气主接线可靠性评估 总被引:2,自引:0,他引:2
提出了用时序模拟法对电气主接线进行可靠性评估。首先按照系统运行的时间顺序进行采样,得到随时间变化的系统状态,并用离散的时间步长法模拟系统状态,不仅可以反映系统的实际运行过程,而且便于考虑与时间有关的问题;其次利用有色Petri网模型以及基于该Petri网的电网拓扑分析算法,对主接线由于开关变化引起网络变化的动态过程进行分析。计算结果表明了该算法的正确性和有效性。 相似文献
16.
Petri网的对偶运算及性质 总被引:1,自引:0,他引:1
李孝忠 《陕西师范大学学报(自然科学版)》2001,(Z1)
给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果 相似文献
17.
给出了对偶Petri网的加法,笛卡尔积,并运算及有关性质,得到了对偶Petri网运算具有结构性质的条件 相似文献
18.
采用模糊Petri网的形式化推理算法及其应用 总被引:45,自引:0,他引:45
以模糊Petri网为工具,研究了多种约束条件下的人类知识和推理过程的表示方法.在此基础上,将模糊Petri网与矩阵运算相结合,给出了模糊推理过程的形式化推理算法.算法考虑了推理过程中的众多约束条件,包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等,将复杂的推理过程采用矩阵运算实现,充分利用了模糊Petri网的并行处理能力,使模糊推理过程更加简单、快速和易于实现。 相似文献
19.
基于Petri网的建模支持 总被引:5,自引:1,他引:5
把Petri网应用于基于图形的模型管理和建模支持,为此对Petri网作适当的扩展以适应模型管理,并提出了数学模型的Petri网表示方法。研究了Petri网表示的模型的循环和连通问题,并给出了模型求解过程和模型生成的算法。 相似文献
20.
基于模糊Petri网的供应链诊断建模分析 总被引:2,自引:0,他引:2
以模糊Petri网为工具,参照绩效评价指标,构造供应链的诊断模型,给出诊断算法.以制造商、销售商组成的简单供应链为例,选择供应链运作中的14个关键因素,模拟给出其因果关系,建立了基于模糊Petri网的简单供应链诊断模型,通过仿真分析,验证了模型的正确性和算法的有效性.该模型的建立形象描述了供应链运作管理中关键因素之间的影响关系,为供应链的诊断研究以及供应链的绩效评价提供一个新的思路. 相似文献