可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之—─—可达树分析法。该方法应适用于各种Petri网，但由于状态空间的复杂，其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。

Petri网的可达树分析法及其应用研究

一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性。应用Petri网首先要对系统建模(Modeling),建模的重要作用是能使用Petri网的分析方法对系统进行分析。

基于时间Petri网的档案管理系统的建模与分析

基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具,己被广泛应用于各个领域中。以学校档案管理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育档案管理工作流系统的建模中。结合学校档案管理工作流的实际应用环境,提出基于时间Petri网的档案管理系统工作流模型,并利用可达树分析方法,对其进行时序分析,用具体数据分析了档案管理工作流模型的性能。

基于YAWL的制造业物流管理控制流程建模与分析

研究的是一种物流管理流程建模方法,主要应用于生产制造业的流程控制方面。通过对具体公司案例的分析应用,说明这种建模方法的具体操作过程,显示出方法的便捷性、易行性以及分析结果的有效性。

一种基于单亲遗传算法的petri网发射路径求解算法

给出了一种基于单亲遗传算法的petri网发射路径求解算法,提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作,实现了发射序列的快速求解。仿真结果表明,本算法能够以较大的收敛概率快速地收敛,最终得到多个发射序列。进一步的研究表明,适当的选取样本空间的大小可以使本算法更加快速高效。

基于Petri网的机床座类柔性生产线调度模型

在柔性生产线的调度过程中,存在柔性单元间关系复杂且离散并行的问题,为此,以机床座类柔性生产线为例,提出了一种适用于柔性生产线调度研究的Petri网模型。首先,分析了Petri网的组成结构,设计了柔性单元变迁的延时函数;然后,分析了生产线中各柔性单元的生产调度关系,建立了柔性单元的模块化Petri网模型;最后,采用了模块化柔性单元简化座类柔性生产线的Petri网调度模型,研究了生产调度过程中多个系统与柔性单元间信息的传递关系,建立了基于信息流的Petri网模型;通过采用可达树分析法,研究了可能出现的变迁序列,设计了Petri网的可达树图,对所建立的Petri网模型的可行性进行了验证。研究结果表明:基于Petri网建立的机床座类柔性生产调度模型是可行的、合理的,可进一步在此基础上进行柔性生产线的动态生产调度。