| 保性的Petri网运算在主体BDI内部结构建模中的应用 |
| |
| 引用本文： | 方欢.保性的Petri网运算在主体BDI内部结构建模中的应用[J].计算机工程与设计,2009,30(19). |
| |
| 作者姓名： | 方欢 |
| |
| 作者单位： | 安徽理工大学理学院,安徽,淮南,232001 |
| |
| 基金项目： | 安徽省高等学校青年教师科研计划基金项目，安徽理工大学青年科学研究基金项目(QN200723):安徽理工大学硕士博士基金项目 |
| |
| 摘 要： | 针对主体内部结构的建模问题,借助网过程的概念,提出了使用保性的Petri网运算方法来描述主体内部结构的方法,大大降低了多主体系统建模的复杂度;通过研究Petri网库所细化操作的性质保持性问题,将细化操作应用在主体BDI内部结构的建模中,这种建模方法突出了主体的自治性.同时对网系统模型的运行终止性、有界性和无死锁性质进行详细地分析,得到的结果保证了多主体系统开发和实施的正确性.
|
| 关 键 词： | 性质保持 Petri网运算 细化 主体结构 BDI建模 |
Application of property-preservation petri net operation in Agent BDI inner architecture modeling |
| |
| FANG Huan.Application of property-preservation petri net operation in Agent BDI inner architecture modeling[J].Computer Engineering and Design,2009,30(19). |
| |
| Authors: | FANG Huan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
