By Topic

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra

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

4 Author(s)
Ruiz, M.C. ; Univ. de Castilla-La Mancha, Albacete ; Cazorla, D. ; Cuartero, F. ; Pardo, J.J.

This paper deals with the specification and analysis of Flexible Manufacturing Systems (FMS). We use a timed process algebra called BTC (for Bounded True Concurrency) that we have developed from CSP and which takes into account that the available resources in a system have to be shared by all the processes. It is able to consider heterogeneous resources of any type (preemptable and non- preemptable) which makes it suitable for specifying FMS. We show by means of an example that the specifications obtained suit the real systems quite well, are straightforward and deadlock-free. Due to the great interest (and need) in obtaining shorter manufacturing lead times, we also carry out a performance evaluation using an algorithm which allows us to estimate the time required to evolve between states. To the best of our knowledge, this is the first attempt to do this with process algebras, and we think that it is a good way to be able to split up the system into subsystems, which will be easily analyzed without the deadlock problems that researchers in Petri Nets have encountered.

Published in:

Computational Intelligence for Modelling, Control and Automation, 2006 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on

Date of Conference:

Nov. 28 2006-Dec. 1 2006