基于UML与Petri网的嵌入式系统设计与验证