Institutional Repository
| 基于极小T-不变量增加的Petri网可达性分析 | |
| Alternative Title | reachability analysis of petri nets based on minimal t-invariant adding |
| 彭建兵; 焦莉 | |
| 2010 | |
| Source | 计算机应用研究
 |
| ISSN | 1001-3695 |
| Volume | 27Issue:10Pages:3798-3802 |
| English Abstract | 基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。 |
| Keyword | Petri网 可达性 极小t-不变量 极小t-不变量关系图 扩展极小t-不变量关系图 借矩阵 扩展借矩阵petri Net Reachability Minimal T-invariant Relation Graph Of Minimal T-invariants Extended Relation Graph Of Minimal T-invariants Borrowing Matrix Extended Borrowing Matrix |
| Department | 中国科学院软件研究所计算机科学国家重点实验室; |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9906 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 彭建兵,焦莉. 基于极小T-不变量增加的Petri网可达性分析[J]. 计算机应用研究,2010,27(10):3798-3802. |
| APA | 彭建兵,&焦莉.(2010).基于极小T-不变量增加的Petri网可达性分析.计算机应用研究,27(10),3798-3802. |
| MLA | 彭建兵,et al."基于极小T-不变量增加的Petri网可达性分析".计算机应用研究 27.10(2010):3798-3802. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于极小T不变量增加的Petri网可达性（528KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment