Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervisi