焦莉,陆维明.加权非对称选择网活性和有界性分析.软件学报,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阅读器 |