Automata Composition for Modeling Large Industrial Systems

Industrial production systems are usually described as discrete event systems (DESs). There are many academic methods for modeling DESs, such as Petri nets and several types of automata. All these methods did not meet great success when proposed for industrial use, primarily because they are application depended. In addition, contemporary industrial systems are hundred times more complex than typical systems found in academic papers. The dependence between application and formulation method seems to be avoided with a recently proposed new method, which is based on automata theory. Besides, the obstacle of complexity can be jumped over using composition of small systems in order to build a large system´s model. The formal definitions of the new method and automata´s composition are given in this paper and they are illustrated via a representative example