A COMPACT TIMED STATE SPACE APPROACH FOR THE ANALYSIS OF MANUFACTURING SYSTEMS: KEY ALGORITHMIC IMPROVEMENTS

Miguel Antonio Mujica Mota (1) , Miquel Angel Piera (2)

1 Telecomunications and Systems Engineering
2 Telecommunications and Systems Engineering

The State Space analysis of a Timed Coloured Petri Net (TCPN) has been used traditionally for validation and verification of system properties. Performance modelling using TCPN has also received widespread attention of researchers in recent years as a promising alternative to improve productivity and competitiveness of present flexible manufacturing systems. In this paper, a new computationally effective approach is introduced for designing efficient decision support tools based on the analysis of state spaces, in which the computational time is an important requirement to deal with optimal scheduling, routing or planning policies. The state space analysis of a system specified in the TCPN formalism is faced with an algorithm in two stages, key implementation algorithmic aspects are considered to improve the time consuming tasks (transition evaluation, data management and information search). In order to provide good benchmarking results when applied to the optimization of industrial scheduling problems, some examples are given and future work addressed at the end of the paper.

Mots clés: Physical Sciences

Miguel Antonio Mujica Mota, Miquel Angel Piera. A COMPACT TIMED STATE SPACE APPROACH FOR THE ANALYSIS OF MANUFACTURING SYSTEMS: KEY ALGORITHMIC IMPROVEMENTS. International Journal of Computer Integrated Manufacturing, 2011, 24 (02), pp.135-153. ⟨10.1080/0951192X.2010.543153⟩. ⟨hal-00660031⟩