By Topic

Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions

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

1 Author(s)
Zurawski, R. ; Inst. of Ind. Sci., Tokyo Univ., Japan

In this paper, we introduce descriptions of selected primary components of automated guided vehicle (AGV)-based flexible manufacturing systems. These descriptions represent invariant structural and functional properties expressed at a certain level of abstraction of components such as machining stations and load and unload stations. To model these objects, a class of Petri nets is adopted and briefly introduced in the paper. This class allows for representing the unidirectional flow of physical resources and control information/data, which is characteristic of the primary components. The issue of the verification of the interconnections or interfaces among the Petri nets of primary components is addressed by the introduction of functional abstractions of the Petri net models of these components. In this paper we demonstrate the usefulness of functional abstractions in verification of the correctness of the interconnections among objects. In doing so, a simple manufacturing system is adopted

Published in:

Industrial Electronics, IEEE Transactions on  (Volume:44 ,  Issue: 3 )