10.3778/j.issn.1673-9418.2008.06.005
基于Petri网表示的嵌入式系统模型化简规则
为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系.对两个系统模型的化简结果进一步说明了这些化简规则的有效性.
化简规则、Petri网、完全等价、保性、嵌入式系统
2
TP31(计算技术、计算机技术)
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
2009-02-23(万方平台首次上网日期,不代表论文的发表时间)
共13页
614-626