加权非对称选择网活性和有界性分析
给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.
Petri网、加权非对称选择网(WAC网)、活性、有界性、活性单调性
12
TP301(计算技术、计算机技术)
国家自然科学基金69773016;国家重点基础研究发展计划973计划G1 998030416
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共8页
1843-1850