Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Specification and synthesis of control software for 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

3 Author(s)
Gutierrez-Robles, P. ; CINVESTAV-IPN, Mexico City, Mexico ; Lopez-Mellado, E. ; Ramirez-Trevino, A.

The paper deals with automated task programming of flexible manufacturing systems (FMS). The method presented allows a) to progressively specify the operations to be performed in an FMS and b) to automatically synthesize the core of highly concurrent control software. During the specification phase tasks are modeled as Petri net modules; the analysis of properties is performed in each step of the design process. During the synthesis phase the tasks are defined and the mechanisms of communication, synchronization and mutual exclusion are built into the pertinent task bodies. This technique is presented and illustrated through an example where Ada code is generated

Published in:

Systems, Man, and Cybernetics, 2000 IEEE International Conference on  (Volume:3 )

Date of Conference:

2000