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

This article presents an original method using high level Petri nets for the specification and design of interactive systems. We suggest an agent oriented architecture based on the classic components of an interactive application (application, dialogue control, interface with the application). Our approach is validated via the specification and design of a human-machine interface used in the supervision of a land-based transport system (bus/tramway).