Skip to main content

To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification

  • Conference paper
Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA 2012)

Abstract

Production systems must be reconfigurable and endowed with methods and tools allowing an automatic recovery of expected and unexpected errors. In this domain, error recovery in production systems is always an open problem. Multi-agent systems seem to be adapted for representing this kind of problem in an attempt to arrive at a reconfigurable, adaptive, and “intelligent” manufacturing systems. The objective of this work consists in proposing a specification, modeling and structural analysis approach of error recovery production systems using holonic multi-agent systems and Object Petri Nets (OPN).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. http://www.aspecs.org

  2. Chang, S.J., Goldbogen, G., Dicesare, F.: Automated error recovery in manufacturing systems through learning and reasoning. In: Proceedings of the 5th IEEE International Symposium on Digital Object Identifier (1990), doi:10.1109/ISIC.1990.128578

    Google Scholar 

  3. Zhou, M., DiCesar, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, USA (1993)

    Book  MATH  Google Scholar 

  4. Ulieru, M., Norrie, D.: A multi-agent system for on-line fault recovery of intelligent manufacturing systems. In: 18th International Conference of the North American on Digital Object Identifier Fuzzy Information Processing Society, NAFIPS (1999), doi:10.1109/NAFIPS.1999.781814

    Google Scholar 

  5. Ma, Y., Odrey, N.: On the application of Neural Networks to a Petri net –based intelligent workstation controller for manufacturing. In: Proceedings of the Artificial Neural Networks in Engineering (ANNIE 1996) Conference, St. Louis, MO, vol. 6, pp. 829–836. ASME Press, NY (1996)

    Google Scholar 

  6. Odrey, N.: Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach, in. In: Kordic, V. (ed.) Petri Net Theory and Applications, vol. 7, p. 534. I-Tech Education and Publishing, Vienna (2008) ISBN 978-3-902613-12-7

    Google Scholar 

  7. Mazigh, B., Hilaire, V., Koukam, A.: Formal Specification of Holonic Multi-agent Systems: Application to Distributed Maintenance Company. In: Proceeding of 9th International Conference on Practical Applications of Agents and Multiagent Systems (2011)

    Google Scholar 

  8. Gaud, N.: Systèmes Multi-Agent Holoniques: de l’analyse à l’implantation. PhD thesis, Université de Technologie de Belfort-Montbéliard (2007)

    Google Scholar 

  9. Cossentino, M., Gaud, N., Galland, S., Hilaire, V., Koukam, A.: A Holonic Metamodel for Agent-Oriented Analysis and Design. In: Mařík, V., Vyatkin, V., Colombo, A.W. (eds.) HoloMAS 2007. LNCS (LNAI), vol. 4659, pp. 237–246. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Object Management Group. MDA guide, v1.0.1, OMG/2003-06-01 (2003)

    Google Scholar 

  11. Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: ASPECS: an agent-oriented software process for engineering complex systems How to design agent societies under a holonic perspective. Auton Agent Multi-Agent Syst. 20, 260–304 (2010)

    Article  Google Scholar 

  12. Köhler, M., Moldt, D., Rölke, H.: Modelling the Structure and Behaviour of Petri Net Agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  13. Kummer, O., Wienberg, F., Duvigneau, F.: Renew – User Guide, University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Deutschland, 1.6 edn. (2002)

    Google Scholar 

  14. Delui, E., Kohler, M.: SONAR/OREDI: A tool for creation and deployment of organization models, Germany (2010)

    Google Scholar 

  15. Kohler, M.: A formal model of multi-agent organizations. Fundamenta Informaticae 79, 415–430 (2007)

    MathSciNet  Google Scholar 

  16. http://www.pnml.org

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mazigh, B., Hammed, A., Hilaire, V. (2012). To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification. In: Jezic, G., Kusek, M., Nguyen, NT., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems. Technologies and Applications. KES-AMSTA 2012. Lecture Notes in Computer Science(), vol 7327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30947-2_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30947-2_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30946-5

  • Online ISBN: 978-3-642-30947-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics