General Untimed Sequential Automata Models for the General Components of Automatic Transport Systems with Accumulation Areas

Discrete event systems have been researched for quite a while in the domain literature. A series of modelling and analysis techniques have been used. Sequential automata models are at the basis of their studies and theories have been born to provide tools for their design. Automatic transport systems with accumulation areas are a particular type of systems where the sequential automata model can be successfully used. The aim of this paper is to establish connections between a sequential automata model and a Petri net model: first for a node with ";one"; input and ";m"; outputs and the second for a node with ";n "; inputs and ";m "; outputs, using basic elements of the automatic transport systems with accumulation areas. General models for an automatic transport system with accumulation areas are obtain by composing sub-models. In this paper, untimed sequential automata and untimed Petri nets have been used for modelling, time being not a defining element for this modelling.