HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 论文大全 时序petri网论文 列表
期刊分类
期刊收录
出版地区
温控系统的时序Petri网建模与验证第24-28页
关键词: 时序petri网  模型检测  形式化建模  形式化分析  
行车安全综合监控系统的时序Petri网描述及验证第11-15页
关键词: 行车安全综合监控系统  时序petri网  正确性验证  
2005年第04期 《铁道学报》
基于知识流的设计更改执行阶段过程改进第726-736页
关键词: 知识流  设计更改执行  过程改进  信息增益  时序petri网  
基于时序Petri网的联锁逻辑形式建模与验证第7-10页
关键词: 联锁逻辑  时序petri网  形式建模  时序逻辑  
审计缓冲区的形式化模型及其验证第98-103页
关键词: 审计  时序petri网  缓冲区  验证  
2006年第05期 《计算机科学》
集成TPN-BG的铝挤压机建模方法研究第66-69页
关键词: 集成建模  铝挤压机  时序petri网  键合图  
基于时序Petri网的火电厂管控信息系统模型研究第34-37页
关键词: 时序petri网  火电厂  管控信息系统  
2009年第01期 《计算机与现代化》