论高级Petri网系统的等价谱系

A SPECTRUM OF EQUIVALENT HL-NET SYSTEMS

高级网系统简洁明了,在Petri网系统的应用中是非常有效的。本文讨论了高级网系统的等价变换,提出了高级网系统的两种极端形式——最高网系统和最低网系统,并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统。此外,还提出了高级网系统的等价谱系,旨在从理论上分析清楚高级网系统的本质。

This paper discusses the equivalent variation of HL-net system,defines two extreme cases of HL-net system;the highest high level Petri net system (HHL-net system)and the lowest high level Petri net system (LHL-net system) ,and proves that any HL-net system can be e-quivalently variated into HHL-net system and LHL-net system.A spectrum of equivalent HL-net systems is also described to reveal the essence of HL-net system.