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

摘要：

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

关键词：性质保持、Petri网运算、细化、主体结构、BDI建模

所属期刊栏目：30

分类号：TP302(计算技术、计算机技术)

资助基金：安徽省高等学校青年教师科研计划基金项目2007jq1039;安徽理工大学青年科学研究基金项目QN200723:安徽理工大学硕士博士基金项目2006yb51

在线出版日期：2009-11-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：4398-4400,4446