{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:16:58Z","timestamp":1725891418650},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309465"},{"type":"electronic","value":"9783642309472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30947-2_41","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T09:16:30Z","timestamp":1340010990000},"page":"370-378","source":"Crossref","is-referenced-by-count":1,"title":["To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification"],"prefix":"10.1007","author":[{"given":"Belhassen","family":"Mazigh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Hammed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Hilaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"http:\/\/www.aspecs.org"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/ISIC.1990.128578"},{"key":"41_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5","volume-title":"Petri Net Synthesis for Discrete Event Control of Manufacturing Systems","author":"M. Zhou","year":"1993","unstructured":"Zhou, M., DiCesar, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, USA (1993)"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/NAFIPS.1999.781814"},{"key":"41_CR5","first-page":"829","volume-title":"Proceedings of the Artificial Neural Networks in Engineering (ANNIE 1996) Conference","author":"Y. Ma","year":"1996","unstructured":"Ma, Y., Odrey, N.: On the application of Neural Networks to a Petri net \u2013based intelligent workstation controller for manufacturing. In: Proceedings of the Artificial Neural Networks in Engineering (ANNIE 1996) Conference, St. Louis, MO, vol.\u00a06, pp. 829\u2013836. ASME Press, NY (1996)"},{"key":"41_CR6","first-page":"534","volume-title":"Petri Net Theory and Applications","author":"N. Odrey","year":"2008","unstructured":"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.\u00a07, p. 534. I-Tech Education and Publishing, Vienna (2008) ISBN 978-3-902613-12-7"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-19875-5_18"},{"key":"41_CR8","unstructured":"Gaud, N.: Syst\u00e8mes Multi-Agent Holoniques: de l\u2019analyse \u00e0 l\u2019implantation. PhD thesis, Universit\u00e9 de Technologie de Belfort-Montb\u00e9liard (2007)"},{"key":"41_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-74481-8_23","volume-title":"Holonic and Multi-Agent Systems for Manufacturing","author":"M. Cossentino","year":"2007","unstructured":"Cossentino, M., Gaud, N., Galland, S., Hilaire, V., Koukam, A.: A Holonic Metamodel for Agent-Oriented Analysis and Design. In: Ma\u0159\u00edk, V., Vyatkin, V., Colombo, A.W. (eds.) HoloMAS 2007. LNCS (LNAI), vol.\u00a04659, pp. 237\u2013246. Springer, Heidelberg (2007)"},{"key":"41_CR10","unstructured":"Object Management Group. MDA guide, v1.0.1, OMG\/2003-06-01 (2003)"},{"key":"41_CR11","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/s10458-009-9099-4","volume":"20","author":"M. Cossentino","year":"2010","unstructured":"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.\u00a020, 260\u2013304 (2010)","journal-title":"Auton Agent Multi-Agent Syst."},{"key":"41_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling the Structure and Behaviour of Petri Net Agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013241. Springer, Heidelberg (2001)"},{"key":"41_CR13","unstructured":"Kummer, O., Wienberg, F., Duvigneau, F.: Renew \u2013 User Guide, University of Hamburg, Computer Science Department, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Deutschland, 1.6 edn. (2002)"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Delui, E., Kohler, M.: SONAR\/OREDI: A tool for creation and deployment of organization models, Germany (2010)","DOI":"10.1007\/978-3-642-16178-0_9"},{"key":"41_CR15","first-page":"415","volume":"79","author":"M. Kohler","year":"2007","unstructured":"Kohler, M.: A formal model of multi-agent organizations. Fundamenta Informaticae\u00a079, 415\u2013430 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"41_CR16","unstructured":"http:\/\/www.pnml.org"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30947-2_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:34:15Z","timestamp":1620128055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30947-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309465","9783642309472"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30947-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}