自动制造系统规格说明语言的Petri网语义设计  

Petri net semantics of the specification languages for automated manufacturing systems

作　　者：李志武[1] 贾建援[1] 叶尚辉[1] 

机构地区：[1]西安电子科技大学电子机械学院

出　　处：《西安电子科技大学学报》1996年第3期406-413,共8页Journal of Xidian University

基　　金：国家自然科学基金

摘　　要：研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统行为的描述语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法．因此，制造系统规格说明语言的Ｐｅｔｒｉ网语义设计。The formal denotations approach to the events is presented in automated manufacturing systems. The specification languages for automated manufacturing systems have been designed in terms of Communicating Sequential processes. On the basis of the Petri net expressions of events, the Petri net semantics, i.e., the static structure of the Petri net controller, of the description languages for the systems behaviour is discussed. According to the description languages and the structure of the Petri net controller, the initial marking may be studied so that, with this marking, the Petri net controller has the properties of liveness, boundedness or safeness, and reversibicity. Therefore, the design of Petri net semantics of the description languages for a manufacturing system is the curx and foundation of the formal design of the Petri net controller for automated manufacturing systems.

关 键 词：自动制造系统 规格说明语言 PETRI网 CIM 

分 类 号：TH166[机械工程—机械制造及自动化]