基于Petri网分解技术的自动化物流系统建模分析

针对西安科技大学自动化物流系统的任务规划,提出了一种基于变迁指标和库所指标融合的Petri网分解方法。采用Petri网理论对该物流系统建立模型,给出定义,在此基础上采用提出的Petri网分解方法得到融合了T网和S网特性的最小子网。通过分析该最小子网,得出Petri网模型的活性和有界性,据此推断出物流系统的任务规划合理有效。该方法大大减少了直接分析子网或原Petri网模型的计算量,可避免全局或局部死锁,为系统良好运行提供了依据。

基于变迁指标的Petri网分解方法

通过定义 Petri 网变迁的指标函数,给出一种基于变迁指标的 Petri 网分解方法,通过分解得到子网系统均为结构简单的 T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通过子网之间的共享合成可以得到原先的网系统,这为 Petri 网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。

基于Petri网分解的系统范例分析

以生产者—消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法。

基于变迁指标分解的Petri网性质分析

Petri网的分解技术是复杂网系统分析的一种重要手段,基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系,得到了判定原网结构性质的一些方法和结论;同时给出了判定原网系统活性的一个条件。所得结果为结构复杂Petri网的性质分析提供了有效的方法。

基于Petri网的一种实时计划调度方法

基于实际生产环境中制造系统经常受外部随机事件影响 ,利用可分解 Petri网把整个系统分解成若干个模块 ,然后对其中的部分模块进行短期的计划调度 ,使得变更后的生产尽可能和预先计划相一致 ,并给出了基于关键路径的调度算法 ,这样既可达到对外部事件作出快速反应的目的 ,又提供了较优的调度策略 .