Contribution of the Petri nets and the Multi Agent System in HCI specification

摘要

This paper studies a formal technique based on Petri nets for modeling the human-machine system (HMS) behavior, in order to identify the user requirements. These user requirements allow the deduction of the necessary interface objects in terms of informational and control objects. A multi-agent system approach is proposed to generate the specifications of the appropriate displays deduced for the control and the monitoring of the system.