| 加权T图的活性分析 |
| |
| 引用本文： | 许安国,吴哲辉.加权T图的活性分析[J].软件学报,1993,4(6):16-21. |
| |
| 作者姓名： | 许安国 吴哲辉 |
| |
| 作者单位： | 山东矿业学院应用数学与软件工程系，泰安 271019;山东矿业学院应用数学与软件工程系，泰安 271019 |
| |
| 基金项目： | 国家自然科学基金资助课题 |
| |
| 摘 要： | 本文给出加权T—图为活网的一组充分必要条件,这组条件包含了文献1]对标识图(即T—图)活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为文1]给出的条件。
|
| 关 键 词： | T图 活性分析 加权 Petri网 |
| 收稿时间： | 1991/4/18 0:00:00 |
| 修稿时间： | 1991/7/20 0:00:00 |
ANALYSIS OF LIVENESS FOR WEIGHTED T-GRAPHS |
| |
| Xu Anguo and Wu Zhehui.ANALYSIS OF LIVENESS FOR WEIGHTED T-GRAPHS[J].Journal of Software,1993,4(6):16-21. |
| |
| Authors: | Xu Anguo and Wu Zhehui |
| |
| Abstract: | t A set of necessary and sufficient conditions for the liveness of weighted T -graphs is given in this paper. This set of conditions involves the condition given in1] for the liveness of marked graphs,i. e. the conclusion of1] for the liveness of marked graphs is a special case of the conclusion given this paper for the liveness of weighted T-graphs. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
