没有合适的资源?快使用搜索试试~ 我知道了~
论文研究-分布式制造调度体系结构的π演算形式化建模.pdf
需积分: 10 1 下载量 152 浏览量
2019-09-07
13:24:01
上传
评论
收藏 693KB PDF 举报
温馨提示
试读
3页
分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agent(Holon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,并以一种基于Holon的柔性制造车间生产调度控制体系结构为实例,重点对各个实体的通信协调机制进行了形式化分析,并借助计算机工具进行了相应的死锁分析。结果表明了基于一阶多元π-演算在形式化建模和分析方面的有效性。
资源推荐
资源评论
资源评论
weixin_38743968
- 粉丝: 404
- 资源: 2万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功