| 摘要: |
| 给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件. |
| 关键词: Petri网 加权非对称选择网(WAC网) 活性 有界性 活性单调性 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69773016);国家重点基础研究发展规划973资助项目(G1 998030416) |
|
| On Liveness and Boundedness of Weighted Asymmetric Choice Nets |
|
JIAO Li,LU Wei-ming
|
| Abstract: |
| 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. |
| Key words: Petri nets weighted asymmetric choice （WAC） nets liveness boundedness liveness monotonicity |
