作者：李文翔时序petri网模型检测形式化建模形式化分析
摘要：基于时序Petri网对温控系统进行建模和性质描述.利用可达图、Büchi自动机和ω-正则表达式理论三者相结合的方法分析得到温控系统时序Petri网模型变迁引发序列集合的ω-正则表达式,进一步分析证明该ω-正则表达式满足温控系统的功能性需求说明,从形式上验证了温控系统时序Petri网模型与需求说明一致.结果表明,时序Petri网可用来描述和验证具有时序关系和因果关系的并发系统模型,是一种并发系统形式化描述和分析的有效工具。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《山东理工大学学报·自然科学版》（CN：37-1412/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《山东理工大学学报·自然科学版》办刊宗旨为：高举马列主义旗帜，认真贯彻科学发展观，按照总书记关于构建“和谐社会”的战略部署，力求创新性、思想性和科学性相统一，坚持“双百”方针，及时反映国内外社会科学的最新科研成果，为建设社会主义精神文明、政治文明和物质文明服务。
杂志详情
