2 METHODS FOR THE ENGINEERING OF MANUFACTURING SYSTEMS

Authors
ZAYTOON J VILLERMAINLECOLIER G
Citation
J. Zaytoon et G. Villermainlecolier, 2 METHODS FOR THE ENGINEERING OF MANUFACTURING SYSTEMS, Control engineering practice, 5(2), 1997, pp. 185-198
Citations number
44
Categorie Soggetti
Controlo Theory & Cybernetics","Robotics & Automatic Control
Journal title
Control engineering practice → ACNP
ISSN journal
09670661
Volume
5
Issue
2
Year of publication
1997
Pages
185 - 198
Database
ISI
SICI code
0967-0661(1997)5:2<185:2MFTEO>2.0.ZU;2-0
Abstract
This paper presents two methods for the engineering of manufacturing s ystems. 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 correspondi ng Petri net. The second method uses pre-established generic functiona l and structural schemes to generate the model of the target applicati on. This method is based on an extension of the object modelling techn ique (OMT).