{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:50:28Z","timestamp":1725501028733},"publisher-location":"Tokyo","reference-count":13,"publisher":"Springer Japan","isbn-type":[{"type":"print","value":"9784431358695"},{"type":"electronic","value":"9784431358732"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-4-431-35873-2_42","type":"book-chapter","created":{"date-parts":[[2008,1,23]],"date-time":"2008-01-23T09:20:03Z","timestamp":1201080003000},"page":"431-440","source":"Crossref","is-referenced-by-count":1,"title":["High-Level Modelling of Cooperative Mobile Robot Systems"],"prefix":"10.1007","author":[{"given":"R.","family":"S\u00e1nchez-Herrera","sequence":"first","affiliation":[]},{"given":"N.","family":"Villanueva-Paredes","sequence":"additional","affiliation":[]},{"given":"E.","family":"L\u00f3pez-Mellado","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","unstructured":"Almeyda, H. I. (2002) \u201cA three-level net system for the modelling of mobile agents\u201d. MSc.Thesis (in Spanish). Cinvestav-IPN, Guadalajara, M\u00e9xico, September"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"DiCesare, F. G. Harhalakis, J.M. Proth, M. Silva, F.B. Vernadat. (1993) \u201cPractice of Petri Nets in Manufacturing\u201d. Chapman & Hall.","DOI":"10.1007\/978-94-011-6955-4"},{"volume-title":"An introduction to Distributed Artificial Intelligence","year":"1999","author":"J. Ferber","key":"42_CR3","unstructured":"Ferber, J. (1999) \u201cMulti-Agent Systems. An introduction to Distributed Artificial Intelligence\u201d. Addison-Wesley. UK."},{"key":"42_CR4","unstructured":"FIPA ORG. (2002) \u201cFIPA Contract Net Interaction Protocol Specification\u201d. Document no. SC00029H."},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Hiraishi K. (2000) \u201cA Petri-net-based model for the mathematical analysis of multi-agent systems\u201d. Proc. of the IEEE ICSMC, Nashville, Tennessee, USA. October.","DOI":"10.1109\/ICSMC.2000.884459"},{"key":"42_CR6","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K. (1981) \u201cColoured Petri Nets and the Invariant Method\u201d. Theoretical Computer Science Vol. 14 pp 317\u2013336.","journal-title":"Theoretical Computer Science"},{"key":"42_CR7","first-page":"7","volume":"1","author":"O. Kummer","year":"2001","unstructured":"Kummer, O. (2001) \u201cIntroduction to Petri nets and Reference nets\u201d. Sozionikaktuell 1, pp.7\u201316","journal-title":"Sozionikaktuell"},{"key":"42_CR8","doi-asserted-by":"crossref","unstructured":"Lakos C. (1995) \u201cFrom Coloured Petri Nets to Object Petri Nets\u201d. Proc. of 16th ICATPN, LNCS 935, pp 278\u2013297, Torino, Italy, Springer-Verlag","DOI":"10.1007\/3-540-60029-9_45"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Lomazova, I. (2000) \u201cNested Petri nets-a formalism for specification and verification of multi-agent distributed systems\u201d. Fundamenta informaticae 43 pp. 195\u2013214. IOS Press","DOI":"10.3233\/FI-2000-43123410"},{"key":"42_CR10","unstructured":"L\u00f3pez, E., H. Almeyda (2003) \u201cA Three-Level Net Formalism for the Modelling of Multiple Mobile Robot Systems\u201d. IEEE ICSMC, Washington, USA. Oct. pp.2733\u20132738"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc, C. (1994) \u201cCooperative Nets\u201d. Proc. of the 15th International Conference on Application and Theory of Petri Nets, LNCS 815, Zaragoza, Spain. June","DOI":"10.1007\/3-540-58152-9_26"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"Valk, R. (1998) \u201cPetri nets as token objects: an introduction to elementary object nets\u201d. Proceedings of ICATPN, LNCS 1420 pp. 1\u201325, Springer-Verlag","DOI":"10.1007\/3-540-69108-1_1"},{"key":"42_CR13","unstructured":"Villanueva, N., E. L\u00f3pez, H. Almeyda (2003). \u201cThree-level Modelling of Batch Processes\u201d. Proc. CESA 2003, Symposium on Discrete Events in Industrial and Manufacturing Systems. Lille, France, July"}],"container-title":["Distributed Autonomous Robotic Systems 6"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-4-431-35873-2_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T15:00:32Z","timestamp":1606143632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-4-431-35873-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9784431358695","9784431358732"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-4-431-35873-2_42","relation":{},"subject":[]}}