| Petri网不变式和状态方程的求解 |
| |
| 引用本文： | 李志武,王安荣,贾建援. Petri网不变式和状态方程的求解[J]. 西安电子科技大学学报(自然科学版), 2003, 30(2): 259-263 |
| |
| 作者姓名： | 李志武 王安荣 贾建援 |
| |
| 作者单位： | (西安电子科技大学 机电工程学院，陕西 西安 710071) |
| |
| 基金项目： | 国家部委预研基金资助项目(51416050201D20139)，西安电子科技大学青年工作站基金资助项目 |
| |
| 摘 要： | 不变式和状态方程的求解是Petri网分析中的基本问题. 研究了Petri网库所不变式和变迁不变式的一种求解方法，给出了Petri网系统状态方程的求解方法和发射向量的通解形式. 这些方法都是基于网关联矩阵的满秩分解. 讨论了Petri网系统状态方程存在整数解的条件，即可达性的一个必要条件. 该条件对于Petri网可达性分析有着重要的意义和价值.
|
| 关 键 词： | Petri网 不变式 状态方程 满秩分解 |
| 文章编号： | 1001-2400(2003)02-0259-05 |
| 修稿时间： | 2002-04-30 |
Methods for solving invariants and state equations for Petri nets |
| |
| LI Zhi-wu,WANG An-rong,JIA Jian-yuan. Methods for solving invariants and state equations for Petri nets[J]. Journal of Xidian University, 2003, 30(2): 259-263 |
| |
| Authors: | LI Zhi-wu WANG An-rong JIA Jian-yuan |
| |
| Affiliation: | (School of Mechano-electronic Engineering, Xidian Univ., Xi’an 710071， China) |
| |
| Abstract: | 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 esistence condition for the integral solution 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. |
| |
| Keywords: | Petri nets invariant state equation full rank decomposition |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报(自然科学版)》下载全文 |
