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

Volume

3

fYear

1995

fDate

10-13 Oct 1995

Firstpage

381

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ETFA.1995.496738

Filename

496738