摘 要： 随着嵌入式系统的不断发展，传统的嵌入式开发已经远远不能适应新的要求，需要借助UML强大的系统设计能力来解决效率低下的问题，但是标准 UML在多系统级任务并发，任务之间同步、系统仿真以及实时性方面没有提供足够的支持，很难直接应用到嵌入式系统的设计中。本文研究了一种将时间约束Petri网和扩展UML相结合的方法，通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图，通过将UML转化为Petri图，进而可以利用Petri强大的理论体系来验证UML的正确性。 关键词： 嵌入式系统；UML；Petri网
将扩展UML与Petri网应用在嵌入式系统设计中的研究.pdf
凡《网络安全与数据治理》（原《信息技术与网络安全》）录用的文章，如作者没有关于汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权等版权的特殊声明，即视作该文章署名作者同意将该文章的汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权授予本刊，本刊有权授权本刊合作数据库、合作媒体等合作伙伴使用。同时，本刊支付的稿酬已包含上述使用的费用，特此声明。
