DocumentCode
300069
Title
Functional abstractions of Petri net models of primary components of flexible manufacturing systems
Author
Zurawski, Richard
Author_Institution
Lab. for Robotics & Intelligent Syst., Swinburne Univ. of Technol., Melbourne, Vic., Australia
Volume
2
fYear
1995
fDate
21-27 May 1995
Firstpage
2060
Abstract
In this paper, we extend the method proposed previously (1991, 1993) to allow one to construct functional abstractions of Petri net models involving nested, a combination of sequential and nested, and overlapping nontrivially firing-dependent transitions which model interactions between a model and its environment. The proposed extensions allow for obtaining functional abstractions of Petri net models of more realistic, in terms of their functionality, components of FMS systems
Keywords
Petri nets; flexible manufacturing systems; production control; FMS; Petri net models; flexible manufacturing systems; functional abstractions; production control; temporal Petri nets; Assembly; Australia; Fires; Flexible manufacturing systems; Formal verification; Intelligent manufacturing systems; Intelligent robots; Logic; Manufacturing systems; Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1995. Proceedings., 1995 IEEE International Conference on
Conference_Location
Nagoya
ISSN
1050-4729
Print_ISBN
0-7803-1965-6
Type
conf
DOI
10.1109/ROBOT.1995.525565
Filename
525565
Link To Document