| S-组合Petri网的活性分析与实现 |
| |
| 引用本文： | 杜玉越,李孝忠.S-组合Petri网的活性分析与实现[J].计算机学报,1998,21(8):747-752. |
| |
| 作者姓名： | 杜玉越 李孝忠 |
| |
| 作者单位： | 聊城师范学院计算机科学系,聊城,252059 |
| |
| 基金项目： | 山东省自然科学基金!Y97G08108 |
| |
| 摘 要： | 设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。
|
| 关 键 词： | Petri网 S－组合 活性控制 活性分析 计算机网络 |
| 修稿时间： | 1997年12月8日 |
ANALYSIS AND IMPLEMENTATION OF LIVENESS OF S-COMPOSITION PETRI NET |
| |
| Du Yu-yue,LI Xiao-zhong.ANALYSIS AND IMPLEMENTATION OF LIVENESS OF S-COMPOSITION PETRI NET[J].Chinese Journal of Computers,1998,21(8):747-752. |
| |
| Authors: | Du Yu-yue LI Xiao-zhong |
| |
| Abstract: | |
| |
| Keywords: | Petri net S-composition shared resource liveness implementing liveness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
