山东理工大学学报（自然科学版）2018，Vol.32Issue(6)：24-28,5.
温控系统的时序Petri网建模与验证
Modeling and verification of a temperature control system based on temporal Petri nets
摘要
关键词
时序Petri网/ω-正则表达式/模型检测/形式化建模/形式化分析分类
信息技术与安全科学引用本文复制引用
李文翔..温控系统的时序Petri网建模与验证[J].山东理工大学学报（自然科学版）,2018,32(6):24-28,5.基金项目
福建省教育厅中青年教师教育科研项目(科技类)(JAT160786,JAT171020) （科技类）
