| 公平网的活性判断 |
| |
| 引用本文： | 韩莹洁,孙永强,吴哲辉.公平网的活性判断[J].计算机应用与软件,2001,18(12):8-10. |
| |
| 作者姓名： | 韩莹洁 孙永强 吴哲辉 |
| |
| 作者单位： | 1. 上海交通大学计算机系,
2. 山东科技大学计算机系, |
| |
| 摘 要： | Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的，那么该公平网是活的。并给出了一个公平网活的充分必要条件。
|
| 关 键 词： | Petri网 公平性 活性 可重复 |
JUDGING THE LIVENESS OF FAIR PETRI NETS |
| |
| Han Yingjie Sun Yongqiang.JUDGING THE LIVENESS OF FAIR PETRI NETS[J].Computer Applications and Software,2001,18(12):8-10. |
| |
| Authors: | Han Yingjie Sun Yongqiang |
| |
| Abstract: | How to judge the liveness of Petri nets is a very important problem in studying Petri nets. In this paper, liveness of fair Petri nets is studied deeply. If the bounded sub-net of a fair Petri net is live, this fair Petri net is live.This conclusion is obtained in study. And a sufficient -necessary condition is also given. |
| |
| Keywords: | Petri net Fairness Liveness Repetitive |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
