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

IEEE International Symposium on Industrial Electronics

Volumn , Issue , 2012, Pages 1203-1208

  Leitão, Paulo ^a,b   Rodrigues, Nelson ^a  

^a INSTITUTO POLITÉCNICO DE BRAGANÇA   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOUR MODELS; CONTROL PROCESS; DESIGN PHASE; FORMAL MODELLING; MACHINE PRODUCTION; MATHEMATICAL FOUNDATIONS; MULTI AGENT SYSTEM (MAS); SYSTEM ARCHITECTURES; VALIDATION PROCESS;

COMPUTER SIMULATION; FORMAL LANGUAGES; MULTI AGENT SYSTEMS; PETRI NETS; WASHERS; WASHING MACHINES;

INDUSTRIAL ELECTRONICS;

EID: 84864829941     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISIE.2012.6237260     Document Type: Conference Paper

References (11)

1. H. ElMaraghy, "Flexible and Reconfigurable Manufacturing Systems Paradigms", International Journal of Flexible Manufacturing Systems, 17, 2006, pp. 261-271.
2. th Annual Conference of the IEEE Industrial Electronics Society, Melbourne, Australia, 7-10 November, 2011, pp. 374-379.
3. M. Wooldridge, An Introduction to Multi-Agent Systems. John Wiley & Sons, 2002.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications", IEEE, 77(4), 1989, pp 541-580.
5. R. Zurawski, M. Zhou, "Petri Nets and Industrial Applications: A Tutorial", IEEE Transactions on Industrial Electronics, 41(6), 1994, pp. 567-583.
6. A. Desrochers and R. Al-Jaar, Applications of Petri Nets in Manufacturing Systems-Modeling, Control and Performance Analysis, 1995, IEEE Press.
7. rd Annual IEEE International Conference on Computer Software and Applications (COMPSAC'09), Seattle, Washington, 20-24 July, 2009, pp. 452-459.
8. K. Feldmann, C. Schnur, and A. Colombo, "Modularised, Distributed Real-Time Control of Flexible Production Cells, Using Petri Nets", Control Engineering Practice, 1996, pp. 1067-1078.
9. R. Vallete, "Analysis of Petri nets by Stepwise Refinements", Journal of Computer and Systems Science, 18, 1979, pp. 35-46.
10. I. Suzuki and T. Murata, "A Method for Stepwise Refinements and Abstractions of Petri nets", Journal of Computer and Systems Science, 27, 1983, pp. 51-76.
11. F. Bellifemine, G. Caire, D. Greenwood, Developing Multi-Agent Systems with JADE. Wiley, 2007.