摘要
不变式和状态方程的求解是Petri网分析中的基本问题.研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式.这些方法都是基于网关联矩阵的满秩分解.讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件.该条件对于Petri网可达性分析有着重要的意义和价值.
Invariants and state equations play an important role in Petri net analysis. New methods for solving the invariants and state equations of Petri Nets are developed in this paper. Also, the general solutions of the firing vector in the state equation of a Petri net are proposed. And all of these approaches are derived from the full rank decomposition technique for the incidence matrix. Finally, the existence condition for the integral solutions of state equations is discussed, which, as a matter of fact, is a necessary condition for reachability and is significant for the analysis of Petri nets.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2003年第2期259-263,共5页
Journal of Xidian University
基金
国家部委预研基金资助项目(51416050201D20139)
西安电子科技大学青年工作站基金资助项目