Two methods for the engineering of manufacturing systems

被引：7
|
作者：
Zaytoon, J
VillermainLecolier, G
机构：
[1] LAM, Université de Reims, Moulin de la Housse, 51687 Reims Cedex 2
来源：
CONTROL ENGINEERING PRACTICE | 1997年 / 5卷 / 02期
关键词：
manufacturing systems; SADT; Petri nets; interval temporal logic; object modelling technique (OMT); semantic extension;
D O I：
10.1016/S0967-0661(97)00225-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents two methods for the engineering of manufacturing systems. The first method uses SADT for high-level system analysis and Petri nets for behavioural modelling. A translation mechanism based on the interval temporal logic is used to map an SADT into a corresponding Petri net. The second method uses pre-established generic functional and structural schemes to generate the model of the target application. This method is based on an extension of the object modelling technique (OMT).
引用
收藏
页码：185 / 198
页数：14
相关论文
共 50 条
12345