Modelling and validating the multi-agent system behaviour for a washing machine production line

Abstract

Abstract-This paper describes the formal modelling and validation of the behaviour of a multi-agent system that integrates the production and quality control processes in a washing machine production line. The modelling, analysis and validation process uses the Petri nets formalism that provides a rigorous and formal language based on its powerful mathematical foundation, supporting the complete verification of the system correctness during the design phase and before to proceed to the deployment phase. The behaviour models of each agent belonging to the system architecture are edited, analysed and simulated in the PnDK framework.

Reducing myopic behavior in FMS control: A semi-heterarchical simulation–optimization approach

“…heuristics to find patterns and analyze larger data set at the global level, aiming for giving some behavioral advices to the low level (Leitão, 2011;Leitão and Rodrigues, 2012). At the end, it is up to s to decide whether or not such additional information must be taken into account for decision making.…”

Performance Models Preventing Multi-Agent Systems from Overloading Computational Resources

“…The investigation of methods for validation of MASs was addressed by the EU FP7 research project GRACE [15]. One of the project outputs is the methodology for qualitative analysis based on Petri net modeling notation.…”