The analysis of the logic correctness of the system and its performance evaluation are usually carried out using, respectively, the Petri nets formalism and the discrete-event simulation. Several tools exist for both. The ...