|
|||||
|
|
| 自动制造系统规格说明语言的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 维普 等数据库收录！ | |