| 焦莉,陆维明.加权非对称选择网活性和有界性分析.软件学报,2001,12(12):1843-1850 |
| 加权非对称选择网活性和有界性分析 |
| On Liveness and Boundedness of Weighted Asymmetric Choice Nets |
| 投稿时间：2000-04-18 修订日期：2000-07-06 |
| DOI： |
| 中文关键词: Petri网 加权非对称选择网(WAC网) 活性 有界性 活性单调性 |
| 英文关键词:Petri nets weighted asymmetric choice （WAC） nets liveness boundedness liveness monotonicity |
| 基金项目:国家自然科学基金资助项目(69773016);国家重点基础研究发展规划973资助项目(G1 998030416) |
|
| 摘要点击次数: 2667 |
| 全文下载次数: 3005 |
| 中文摘要: |
| 给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件. |
| 英文摘要: |
| In this paper, a sufficient condition and a necessary condition on liveness for Weighted Asymmetric Choice (WAC) net system which is an important subclass of Petri net system are presented. Moreover, a judgement condition for live and bound WAC net system is given, and the sufficient and necessary condition for WAC net liveness monotonicity is shown. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
