CAST Tools for Automatic FMS-Dynamics Models Synthesis

A general approach to automatic synthesis of FMS-dynamics models is presented. The problems that require analytical solution are discussed. An illustration of the approach with respect to a certain class of manufacturing processes and using Petri nets as a modelling formalism is given. Application of the synthesis method is indicated.