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

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

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

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

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

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