Describir: Using Petri Nets in the Analysis of Sequential Automata Models with Direct Applications on the Transport Systems with Accumulation Areas