By Topic

Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Zurawski, R.Z. ; Dept. of Electr. & Comput. Eng., Swinburne Inst. of Technol., Melbourne, Vic., Australia ; Dillon, T.S.

The use of generic models in the synthesis of FMSs, which allows for rapid modelling and analysis, does not reduce complexity of the verification model. This complexity can be reduced by replacing the constituent components (generic models) with their functional abstractions, which represent the external behaviour of the components. In the paper, for a class of Petri net models representing primary components of FMSs, a method that allows to systematically construct functional abstractions is presented. This method is then used to obtain the functional abstraction of the Petri net model of a machining station

Published in:

Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on

Date of Conference:

2-5 Dec 1991