10.3969/j.issn.1001-2400.2003.02.027
Petri网不变式和状态方程的求解
不变式和状态方程的求解是Petri网分析中的基本问题.研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式.这些方法都是基于网关联矩阵的满秩分解.讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件.该条件对于Petri网可达性分析有着重要的意义和价值.
Petri网、不变式、状态方程、满秩分解
30
TP301(计算技术、计算机技术)
国家部委预研项目51416050201D20139;西安电子科技大学校科研和教改项目
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
259-263