保性的Petri网运算在主体BDI内部结构建模中的应用

• 作者: 方欢
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 性质保持 Petri网运算 细化 主体结构 BDI建模
• 年，卷（期）: 2009,（19）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 4398-4400,4446
• 页数: 4页
• 分类号: TP302
• 字数: 2889字
• 语种: 中文

摘要

针对主体内部结构的建模问题,借助网过程的概念,提出了使用保性的Petri网运算方法来描述主体内部结构的方法,大大降低了多主体系统建模的复杂度;通过研究Petri网库所细化操作的性质保持性问题,将细化操作应用在主体BDI内部结构的建模中,这种建模方法突出了主体的自治性.同时对网系统模型的运行终止性、有界性和无死锁性质进行详细地分析,得到的结果保证了多主体系统开发和实施的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方欢	安徽理工大学理学院	107	228	9.0	11.0