| HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS |
| |
| 引用本文： | 李金艳,陆以勤,余英林,周伟诚. HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS[J]. 华南理工大学学报(自然科学版), 1997, 0(9) |
| |
| 作者姓名： | 李金艳 陆以勤 余英林 周伟诚 |
| |
| 作者单位： | 华南理工大学无线电与自动控制研究所 香港城市大学电子工程系 |
| |
| 基金项目： | 攀登计划“神经网络理论与模型”项目基金 |
| |
| 摘 要： | 提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。
|
| 关 键 词： | 高阶Petri网 可引发性 目标转移 多项式子句集 T－不变量 |
HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS |
| |
| Li Jinyan Lu Yiqin Yu Yinglin Chow T.W.S.. HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS[J]. Journal of South China University of Technology(Natural Science Edition), 1997, 0(9) |
| |
| Authors: | Li Jinyan Lu Yiqin Yu Yinglin Chow T.W.S. |
| |
| Affiliation: | Li Jinyan Lu Yiqin Yu Yinglin Chow T.W.S. ** |
| |
| Abstract: | In this paper,we propose a new class of Petri nets,higher-order Petri nets (HOPN's),which can be applied to polynomial clause subset of first-order predicate logic.The relationship between the potential firability of the goal transition and T-invariant (HOPN's) has been discussed.A theorem and its proof about this relationship are given,followed by an illustration. |
| |
| Keywords: | HOPN potential firability goal transition polynomial clause subset T-invariant |
| 本文献已被 CNKI 维普 等数据库收录！ |
