| 加权非对称选择网活性和有界性分析 |
| |
| 引用本文： | 焦莉,陆维明.加权非对称选择网活性和有界性分析[J].软件学报,2001,12(12):1843-1850. |
| |
| 作者姓名： | 焦莉 陆维明 |
| |
| 作者单位： | 中国科学院数学与系统科学研究院数学研究所, |
| |
| 基金项目： | 国家自然科学基金资助项目(69773016);国家重点基础研究发展规划973资助项目(G1 998030416) |
| |
| 摘 要： | 给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.
|
| 关 键 词： | Petri网 加权非对称选择网(WAC网) 活性 有界性 活性单调性 |
| 文章编号： | 1000-9825/2001/12(12)1843-08 |
| 收稿时间： | 2000/4/18 0:00:00 |
| 修稿时间： | 7/6/2000 12:00:00 AM |
On Liveness and Boundedness of Weighted Asymmetric Choice Nets |
| |
| JIAO Li and LU Wei-ming.On Liveness and Boundedness of Weighted Asymmetric Choice Nets[J].Journal of Software,2001,12(12):1843-1850. |
| |
| Authors: | JIAO Li and 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. |
| |
| Keywords: | Petri nets weighted asymmetric choice (WAC) nets liveness boundedness liveness monotonicity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
