特别推荐 基于Petri网的嵌入式系统高层级设计方法与技术研究