General untimed Petri net 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. Petri net models give an opportunity 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 Petri net model can be successfully used. The aim of this paper is to establish a Petri net model: first for a node with ldquoonerdquo input and ldquomrdquo outputs and the second for a node with ldquonrdquo inputs and ldquomrdquo 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 Petri nets have been used for modelling, time being not a defining element for this modelling.