可达树论文

基于Petri网的UML形式化研究
论文摘要面向对象技术的发展,出现了众多的面向对象的建模语言,其中统一建模语言UML作为一种定义良好、功能强大的图形化建模语言得到广泛的运用。UML溶入了软件工程领域的新思想和新...
网络化控制系统Petri网建模与分析
论文题目:网络化控制系统Petri网建模与分析论文类型:博士论文论文专业:测试计量技术及仪器作者:胡红革导师:黄大贵关键词:网络化控制系统,混合随机网,可达树,故障分析文献来源...