计算机科学与探索2008，Vol.2Issue(6)：614-626,13.DOI:10.3778/j.issn. 1673-9418.2008.06.005
基于Petri网表示的嵌入式系统模型化简规则
Reduction Rules for Petri Net Based Representation for Embedded Systems
摘要
Abstract
Abstract: The research concentrates on the aspects related to reduction rules for Petri Net based Representation for Embedded Systems (PRES+). The major motivation of this work is to give correctness-preservation transformations to improve the verification efficiency. It proposes a set of reduction rules to reduce PRES+ nets to the equivalent reduced PRES+ nets. Reductions for two system models demonstrate the efficiency of this reduction rules on practical applications.关键词
化简规则/Petri网/完全等价/保性/嵌入式系统Key words
reduction rules/Petri Nets/total-equivalence/property preservation/embedded system分类
信息技术与安全科学引用本文复制引用
夏传良..基于Petri网表示的嵌入式系统模型化简规则[J].计算机科学与探索,2008,2(6):614-626,13.基金项目
the National Natural Science Foundation of China under Grant No.60573012,No.60721061 (国家自然科学基金) （国家自然科学基金）
the National Grand Fundamental Research 973 Program of China under Grant No.2002cb312200 (国家重点基础研究发展规划(973)). （国家重点基础研究发展规划(973）
