动态性质

作品数：67被引量：324H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵义军杨京法赵江吴哲辉李辉文更多>>
相关机构：中国科学院山东科技大学中国科学院大学皇家飞利浦有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金煤炭科学基金中国博士后科学基金国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统仿真学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网的流分解
《系统仿真学报》2008年第S2期33-37,共5页吴振寰 高莹 吴哲辉 
国家自然科学基金(60673053)
Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计...
关键词：PETRI网 同步合成 流分解 动态性质 结构性质 
MPI程序的Petri网模型及其动态性质(英文)被引量：5
《系统仿真学报》2006年第9期2455-2460,共6页崔焕庆 吴哲辉 
对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPIN...
关键词：MPI PETRI网 MPINet 动态性质 
无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质被引量：1
《系统仿真学报》2003年第z1期53-55,共3页赵义军 王培良 
山东省自然科学基金(Y2002G09);国家自然科学基金(60173053)。
时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其...
关键词：无界时延混合Petri网 不变行为状态 可覆盖性演变图 动态性质 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部