|
|||||
|
|
| 顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设… | |
| 引用本文： | 刘宏,李志武.顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设…[J].电子机械工程,1996(4):15-21,64. |
| 作者姓名： | 刘宏 李志武 |
| 摘 要： | 自动制造系统（ＡＭＳｓ）Ｐｅｔｒｉ网控制器形式化设计是ＡＭＳｓ Ｐｅｔｒｉ网控制器自动设计的理论基础。本文以ＡＭＳｓ计划层和调度层生成的工序序列和资源需求序列为基础，为顺序共享资源ＡＭＳｓ设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成ＡＭＳｓ实时控制ＰＥＴＲＩ网控制器的表格表达式，该表达式为模型分析和ＡＭＳｓ控制软件自动生成奠定了基础。最后，用 |
| 关 键 词： | 自动制造系统 PETRI网控制器 形式化设计 |
| 本文献已被 维普 等数据库收录！ | |