Los puntos clave no están disponibles para este artículo en este momento.
Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's. Petri nets may offer a solution.
Agerwala (Sat,) studied this question.