| 论高级Petri网系统的等价谱系 |
| |
| 引用本文： | 郝克刚,葛玮.论高级Petri网系统的等价谱系[J].计算机学报,1993(7):553-558. |
| |
| 作者姓名： | 郝克刚 葛玮 |
| |
| 作者单位： | 西北大学计算机科学系，西北大学计算机科学系 西安 710069，西安 710069 |
| |
| 摘 要： | 高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统．此外，还提出了高级网系统的等价谱系，旨在从理论上分析清楚高级网系统的本质．
|
| 关 键 词： | Petri网系统 等价变换 最高网系统 最低网系统 软件工程 |
A SPECTRUM OF EQUIVALENT HL-NET SYSTEMS |
| |
| Hao Kegang and Ge WeiDept. of Computer Science,Northwest University,xi'an.A SPECTRUM OF EQUIVALENT HL-NET SYSTEMS[J].Chinese Journal of Computers,1993(7):553-558. |
| |
| Authors: | Hao Kegang and Ge WeiDept of Computer Science Northwest University xi'an |
| |
| Affiliation: | Hao Kegang and Ge WeiDept. of Computer Science,Northwest University,xi'an 710069 |
| |
| Abstract: | 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. |
| |
| Keywords: | Petri net system high level Petri net system equivalent variation |
| 本文献已被 CNKI 维普 等数据库收录！ |
