| 求有效极小（受控）可重复向量的一个算法 |
| |
| 引用本文： | 蒋昌俊.求有效极小（受控）可重复向量的一个算法[J].计算机学报,1994,17(8):580-587. |
| |
| 作者姓名： | 蒋昌俊 |
| |
| 作者单位： | 山东矿业学院应用数学与软件工程系 |
| |
| 基金项目： | 国家自然科学基金,中科院自动化所复杂系统控制开放实验室基金 |
| |
| 摘 要： | 文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是着定网语言属型的前提条件，文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现，此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现。
|
| 关 键 词： | Petri网 有效重复向量 算法 |
AN ALGORITHM FOR FINDING EFFECTIVE(CONTROLLED)REPETITIVE VECTORS |
| |
| Jiang Changjun.AN ALGORITHM FOR FINDING EFFECTIVE(CONTROLLED)REPETITIVE VECTORS[J].Chinese Journal of Computers,1994,17(8):580-587. |
| |
| Authors: | Jiang Changjun |
| |
| Abstract: | This paper proposes an algorithm for computing effective and repeatable vectors of a canonical Petri net,as well as all minimum T-invariants which make it possible to decide the fairness of a Petri net. |
| |
| Keywords: | Petri net effective increasing vector effective decreasing vector effective transitive vector |
| 本文献已被 CNKI 维普 等数据库收录！ |
