作　　者： ; ; ; (蒋昌俊）;

机构地区： 山东科技大学信息科学与工程学院

出　　处： 《系统仿真学报》 2005年第z1期223-228,共6页

摘　　要： 应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.

关 键 词： 网格 网 建模 形式化分析 正确性 验证

领　　域： [自动化与计算机技术] [自动化与计算机技术]