| 计算Petri网S不变量和T不变量算法 |
| |
| 引用本文： | 曾小伟,陈吉红,向华. 计算Petri网S不变量和T不变量算法[J]. 华中科技大学学报(自然科学版), 2001, 29(11): 1-3 |
| |
| 作者姓名： | 曾小伟 陈吉红 向华 |
| |
| 作者单位： | 华中科技大学国家数控系统工程技术研究中心 |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 5 9775 0 89)，武汉市晨光基金资助项目 ( 970 0 610 1) |
| |
| 摘 要： | 以Petri网的关联矩阵为基础，提出了求解Petri网的S不变量和T不变量的算法。以关联矩阵为基础构造求解矩阵，对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零，并在变换后的矩阵中提取S不变量和T不变量。算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量。
|
| 关 键 词： | Petri网 S不变量 T不变量 关联矩阵 计算方法 图形化建模 |
| 文章编号： | 1000-8616(2001)11-0001-03 |
| 修稿时间： | 2001-05-25 |
The Algorithm for Computing S-invariant and T-invariant of Petri Nets |
| |
| Zeng Xiaowei Chen Jihong Xiang Hua. The Algorithm for Computing S-invariant and T-invariant of Petri Nets[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 2001, 29(11): 1-3 |
| |
| Authors: | Zeng Xiaowei Chen Jihong Xiang Hua |
| |
| Affiliation: | Zeng Xiaowei Chen Jihong Xiang Hua |
| |
| Abstract: | On the basis of incidence matrix of Petri nets, three algorithms for computing S invariant and T invariant are presented. In the S&T invariant algorithm, a matrix is constructed on the basis of incidence matrix. Appropriate elementary line transitions and column transitions are needed to transform line components and column components into zero. All S invariant and T invariant can be easily extracted from the transformed matrix. By using this algorithm, all S invariant and T invariant can be generated by elementary linear transitions in a single matrix. |
| |
| Keywords: | Petri nets invariant algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
