论文研究 同步合成Petri 网系统可回复性的保持性.pdf

以蚁群算法为基础，提出了一种带交叉、变异因子的模糊Petri网参数值寻优的有效方法。仿真实验的结果表明，新算法无需依赖经验数据，有效找到模糊Petri网的理想参数，从而提高了模糊Petri网对知识的分

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求，但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展，提出了实时有色Pet

论文研究-基于随机Petri网的装备维修保障系统性能分析.pdf,  考虑维修能力不足和备件短缺等因素,定义了装备维修保障

在一类S3PR网柔性制造系统Petri网模型N中，考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后，证明这些资源不会出现在S3PR网N的任何一个严格极小信标(stri

一种基于Petri网的自动测试系统死锁预防策略，马敏，陈光礻禹，针对自动测试系统中多任务并行测试复杂，容易出现死锁现象的问题，提出一种基于Petri网的死锁预防策略。首先为自动测试系统建立一�

从离散事件系统角度出发，基于动态角色配置的思想，提出了协同追踪过程中无人机在搜索、协助者、领导者和空闲四个角色之间切换，动态构建团队追踪地面移动目标的协同追踪策略，采用面向对象Petri网对无人机、移

论文研究-半导体制造系统改进Petri网模型的建立及优化调度.pdf,  为了更有效优化半导体制造系统生产资源调度,提出了

针对西安科技大学自动化物流系统的任务规划，提出了一种基于变迁指标和库所指标融合的Petri网分解方法。采用Petri网理论对该物流系统建立模型，给出定义，在此基础上采用提出的Petri网分解方法得到融

实证研究表明，那些经典的模型无法描述越来越多的短期利率模型。 因此，提出了均值回复γ过程。 在大多数情况下，其系数不满足线性增长条件。 即使它们满足当地的Lipschitz条件。 因此，我们仍然无法通

基于有色Petri网的web服务组合建模与研究，宋小卫，，随着网络应用的蓬勃发展,web服务越来越普及。在实际应用中,往往需要对已有web服务进行集成。目前，在构建基于B/S模式的管理系统中��