| 自动制造系统规格说明语言的Petri网语义设计 |
| |
| 引用本文： | 李志武 贾建援. 自动制造系统规格说明语言的Petri网语义设计[J]. 西安电子科技大学学报(自然科学版), 1996, 23(3): 406-413 |
| |
| 作者姓名： | 李志武 贾建援 |
| |
| 作者单位： | 西安电子科技大学电子机械学院 |
| |
| 摘 要： | 研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。
|
| 关 键 词： | 自动制造系统 规格说明语言 Petri网 CIM |
Petri net semantics of the specification languages for automated manufacturing systems |
| |
| Li Zhiwu Jia Jianyuan Ye Shanghui. Petri net semantics of the specification languages for automated manufacturing systems[J]. Journal of Xidian University, 1996, 23(3): 406-413 |
| |
| Authors: | Li Zhiwu Jia Jianyuan Ye Shanghui |
| |
| Abstract: | |
| |
| Keywords: | automated manufacturing system specification language Petri net process trace event resource |
| 本文献已被 CNKI 维普 等数据库收录！ |
