摘要
讨论了自动制造系统中事件的形式化表示方法，以及制造系统中的工序和资源的Ｐｅｔｒｉ网表示．在此基础上还讨论了一类自动制造系统Ｐｅｔｒｉ网关联矩阵的构造形式和初始标识的确定方法．最后提出了自动制造系统Ｐｅｔｒｉ网控制器的形式化设计方法．
The fortal expression approach to events and the Petri net indications of operations and re sources are prerented in automated manufaCtUring srtems. The forming of a Petri net incidence matrix and the determination of the algorithms for the uutial marking are ho the￣. Fadly,the fot-xual desks method of Petri controllers for automated manufactuthe system is presented.
出处
《机械科学与技术》
CSCD
北大核心
1996年第3期459-463,共5页
Mechanical Science and Technology for Aerospace Engineering
基金
国家自然科学基金
