期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
加权非对称选择网活性和有界性分析 被引量:1
1
作者 焦莉 陆维明 《软件学报》 EI CSCD 北大核心 2001年第12期1843-1850,共8页
给出了 Petri网系统的一个重要子类 ,即加权非对称选择网 (weighted asymmetric choice net,简称 WAC网 )系统活性的一个充分条件和一个必要条件 ;同时 ,提出了活的有界的 WAC网系统的判定条件 ,进而给出了WAC网活性满足单调性的充分必... 给出了 Petri网系统的一个重要子类 ,即加权非对称选择网 (weighted asymmetric choice net,简称 WAC网 )系统活性的一个充分条件和一个必要条件 ;同时 ,提出了活的有界的 WAC网系统的判定条件 ,进而给出了WAC网活性满足单调性的充分必要条件 . 展开更多
关键词 PETRI网 加权非对称选择网 活性 有界性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部