电子技术资料下载
热搜关键词： 数字信号处理RTOSC语言Linux射频电路
已收藏到：个人中心—我的下载—收藏
Petri网
随着嵌入式系统的不断发展，传统的嵌入式开发已经远远不能适应新的要求，需要借助IJ1 强大的系统设计能力来解决效率低下的问题，但是标准UML在多系统级任务并发，任务之间同步、系统仿真以及实时性方面没有提供足够的支持，很难直接应用到嵌入式系统的设计中。文章研究一种将时间约束Petri网和扩展UML相结合的方法，通过利用Petri描述异步性和并发性的能力来扩展UML 的构造型和流程图，通过将UML转化为Petri图，进而可以利用Petri强大的理论体系来验证IM 的正确性.
猜您喜欢
上传资源
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门标签
TI 技术论坛
TI 在线培训
Qorvo 射频技术研习社
请先登录EEWorld账户再进行下载哦
您已成功下载！
精彩活动推荐，好礼等你拿~换一换
京公网安备 11010802033920号
Copyright © 2005-2026 EEWORLD.com.cn, Inc. All rights reserved
评论