|
|||||
|
|
| 正则Petri网的研究 | |
| 作者姓名： | 熊超越 丁国俊 |
| 作者单位： | 上海交通大学自动控制系，上海交通大学自动控制系 上海 200030，上海 200030 |
| 摘 要： | State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri Nets. However,due to the state explosion, the complexity of this method increased exponentially when the rank of this incidence matrix is not full. So in this paper ,a new Petri Net model——full rank Petri Net has been proposed to solve this problem. |
| 关 键 词： | 正则Petri网 异步并发系统 发生率矩阵 满秩 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |