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

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等