Model-Based Design and Control of a Production Cell

Support for the efficient design and operation of manufacturing systems requires an integrated modeling, analysis, and control methodology as well as its implementation in a software tool. Colored Petri nets are able to capture the characteristic features of manufacturing systems in a concise form. Stochastic as well as deterministic and more general distributions are necessary and thus adopted for the firing times of transitions.

Different evaluation techniques are available for an efficient performance and dependability prediction: direct numerical analysis, approximate analysis, and simulation. Finally, the model can be used to control the manufacturing system directly. There is no need to change the modeling methodology, thus avoiding additional effort e.g., for model conversion.