{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:18Z","timestamp":1725488838582},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427162"},{"type":"electronic","value":"9783540454847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_10","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:45:25Z","timestamp":1186886725000},"page":"123-132","source":"Crossref","is-referenced-by-count":7,"title":["Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System"],"prefix":"10.1007","author":[{"given":"Innocent","family":"Bakam","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Le Page","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Bousquet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"10_CR1","unstructured":"Barreteau O., Bousquet F.: SHADOC: A Multi-Agent Model to Tackle Viability of Irrigated Systems. Annals of Operations Research, 1998."},{"key":"10_CR2","unstructured":"Bah A., Canal R., Aquino (D\u2019) P. Bousquet F.: Les Syst\u00e9mes Multi-Agents G\u00e9n\u00e9tiques Pour L\u2019\u00e9tude de la Mobilit\u00e9 Pastorale En Zone Intertropicale S\u00e8he. Actes du colloque SMAGET, 1998."},{"key":"10_CR3","unstructured":"Rouchier J., Requier D. M.: Un Travail Interdiscipliniare: \u00c9laboration D\u2019un Mod\u00e9le de la Transhumace \u00c1 L\u00e9xtr\u00eame Nord Du Cameroun. Actes du colloque SMAGET, 1998."},{"key":"10_CR4","unstructured":"El Fallah S.: Repr\u00e9sentation et Manipulation de Plans \u00c1 L\u2019aide Des R\u00e9seaux de Petri. Actes des 2\u00e9mes Journ\u00e9es Francophones IAD-SMA, Mai 1994."},{"key":"10_CR5","unstructured":"Magnin L., Ferber J.: Conception de Syst\u00e9mes Multi-Agents Par Composants Modulaires et R\u00e9seaux de Petri. Actes des Journ\u00e9es du PRC-IA, pp 129\u2013140, 1993."},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0304-3800(98)00017-9","volume":"108","author":"G. Anja","year":"1998","unstructured":"Gronewold Anja, Michael Sonnenschein: Event-Based Modelling of Ecological Systems with Asynchronous Cellular Automata. Ecological Modelling, 108:37\u201352, 1998.","journal-title":"Ecological Modelling"},{"key":"10_CR7","unstructured":"Dubost G.: L\u2019\u00e9cologie et la Vie Sociale Du C\u00e9phalophe Bleu (Cephalophus Monticola Thunberg), Petit Ruminant Forestier Africain. Journal of Comparative Ethology, 1980."},{"key":"10_CR8","unstructured":"Ferber J.: Multiagent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley 1999."},{"key":"10_CR9","unstructured":"Bousquet F., Le Page C., Bakam I, Takforyan A.: A Spatially Explicit Individual Based Model of Blue Duikers Population Dynamics: Multiagent Simulations of Bushmeat Hunting in an Eastern Cameroonian Village. Accepted in Ecological Modelling, 1999."},{"key":"10_CR10","unstructured":"Kordon F., Paviot-Adet E.: Using CPN-AMI to Validate a Safe Channel Protocol. The toolset Proceedings of the International Conference on Theory and Applications of Petri nets, Williamsburg, USA June 21\u201325 1999."},{"key":"10_CR11","first-page":"826","volume":"2","author":"F. Bousquet","year":"1998","unstructured":"Bousquet F., Bakam I., Proton H., Le Page C.: Cormas: Common-Pool Resources and Multi-Agents Systems. Lectures Notes of Artificial Intelligence 1416, 2:826\u2013837, 1998.","journal-title":"Lectures Notes of Artificial Intelligence 1416"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Jensen K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Pratical Use. Springer, 1997.","DOI":"10.1007\/978-3-642-60794-3"},{"key":"10_CR13","unstructured":"Singh Munidar, Anand S. Rao, Michael P. Georgeff: Formal Methods in DAI: Logic Based Representation and Reasoning. Multiagent Systems: A Modern Approach To Distributed Artificial Intelligence, 1999."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45484-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T08:25:53Z","timestamp":1550737553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}