Title :
Analyzing selected properties of manufacturing systems using orthogonal functional abstractions: a case study
Author :
Zurawski, Richard
Author_Institution :
Lab. for Robotics & Intelligent Syst., Swinburne Univ. of Technol., Melbourne, Vic., Australia
Abstract :
The orthogonal functional abstractions, introduced previously by the author (1995), represent selected external functional behavior of Petri net models. By using orthogonal abstractions which represent one specific aspect of the external behavior of Petri net models constituting a model of a system, the selected functionality of the whole system can be studied in separation from other functionalities. This allows one to study paths of flow of major resources in the system. In addition, the correctness of the interfaces between the constituent components of the system can be studied as well. In this paper, it is demonstrated how the concept can be used to analyze selected behavioral properties of a flexible manufacturing system
Keywords :
Petri nets; flexible manufacturing systems; production control; FMS; Petri net models; flexible manufacturing system; orthogonal abstractions; orthogonal functional abstractions; selected external functional behavior; Analytical models; Assembly systems; Australia; Computer aided software engineering; Flexible manufacturing systems; Formal verification; Intelligent manufacturing systems; Intelligent robots; Laboratories; Manufacturing systems;
Conference_Titel :
Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on
Conference_Location :
Paris
Print_ISBN :
0-7803-2535-4
DOI :
10.1109/ETFA.1995.496738
