Automatic

Coloured Petri nets for temporal performance evaluation of distributed control systems - Application to a FIFO queue.

Published on 31 December 2021 - IEEE Robotics and Automation Letters

Authors: Louis Bal Dit Sollier, Alain Ourghanlian, Saïd Amari