{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:32:30Z","timestamp":1772836350398,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642048548","type":"print"},{"value":"9783642048562","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04856-2_5","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:41:51Z","timestamp":1257320511000},"page":"98-126","source":"Crossref","is-referenced-by-count":18,"title":["On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Billington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1002\/0471656895","volume-title":"Mobile Ad Hoc Networking","author":"S. Basagni","year":"2004","unstructured":"Basagni, S., Conti, M., Giordano, S., Stojmenovic, I.: Mobile Ad Hoc Networking. IEEE Press, New York (2004)"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal Verification of Standards for Distance Vector Routing Protocols. JACM\u00a049(4), 538\u2013576 (2002)","journal-title":"JACM"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Grepet, C., Maag, S., Tortajada, V.: A Validation Model for the DSR Protocol. In: 24th International Conference on Distributed Computing Systems Workshops, pp. 768\u2013773 (2004)","DOI":"10.1109\/ICDCSW.2004.1284120"},{"key":"5_CR4","unstructured":"Charkeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing Protocol. IETF Internet Draft, draft-ietf-manet-dymo-10.txt (2007)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/11494881_20","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"S. Chiyangwa","year":"2005","unstructured":"Chiyangwa, S., Kwiatkowska, M.: A Timing Analysis of AODV. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 306\u2013321. Springer, Heidelberg (2005)"},{"key":"5_CR6","unstructured":"Clausen, T., Dearlove, C., Dean, J., Adjih, C.: Generalized MANET Packet\/Message Format (2007), http:\/\/www.ietf.org\/internet-drafts\/draft-ietf-manet-packetbb-07.txt"},{"key":"5_CR7","unstructured":"Design\/CPN, http:\/\/www.daimi.au.dk\/designCPN"},{"key":"5_CR8","unstructured":"Espensen, K.L., Kjeldsen, M.K., Kristensen, L.M.: Towards Modelling and Verification of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In: 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, pp. 243\u2013262 (2007)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-68746-7_13","volume-title":"Applications and Theory of Petri Nets","author":"K.L. Espensen","year":"2008","unstructured":"Espensen, K.L., Kjeldsen, M.K., Kristensen, L.M.: Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 152\u2013170. Springer, Heidelberg (2008)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/11691617_12","volume-title":"Model Checking Software","author":"G.E. Gallasch","year":"2006","unstructured":"Gallasch, G.E., Billington, J.: A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 201\u2013218. Springer, Heidelberg (2006)"},{"key":"5_CR11","volume-title":"Introduction to HOL: A Theorem Proving Environment for Higher Order Logic","author":"M.J.C. Gordon","year":"1993","unstructured":"Gordon, M.J.C., Melham, T.F.: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, Cambridge (1993)"},{"key":"5_CR12","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"5_CR13","unstructured":"IETF. Mobile Ad-hoc Networks (manet), http:\/\/www.ietf.org\/html.charters\/manet-charter.html"},{"key":"5_CR14","unstructured":"ITU-T. Recommendation Z.100: Specification and Description Language. International Telecomunication Union, Geneva (2007)"},{"key":"5_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol.\u00a01\u20133. Springer, Heidelberg (1997)"},{"issue":"3-4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"5_CR17","unstructured":"Johnson, D.B., Maltz, D.A., Hu, Y.C.: The Dynamic Source Routing Protocol for Mobile Ad hoc Networks (DSR). IETF MANET Working Group, draft-ietf-manet-dsr-09.txt (2003)"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer\u00a02(2), 98\u2013132 (1998)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"1-2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Wang, Y.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"5_CR20","unstructured":"Obradovic, D.: Formal Analysis of Routing Protocols. PhD thesis, University of Pennsylvania (2002)"},{"key":"5_CR21","volume-title":"Ad Hoc Networking","author":"C.E. Perkins","year":"2001","unstructured":"Perkins, C.E.: Ad Hoc Networking. Addison-Wesley, Reading (2001)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Perkins, C.E., Royer, E.M.: Ad-hoc On-demand Distance Vector Routing. In: 2nd IEEE Workshop on Mobile Computing Systems and Applications, New Orleans, Louisiana, USA, pp. 90\u2013100 (1999)","DOI":"10.1109\/MCSA.1999.749281"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1109\/MELCON.2004.1348275","volume-title":"12th IEEE Mediterranean Electrotechnical Conference","author":"R. de Renesse","year":"2004","unstructured":"de Renesse, R., Aghvami, A.H.: Formal Verification of Ad-hoc Routing Protocols Using SPIN Model Checker. In: 12th IEEE Mediterranean Electrotechnical Conference, Dubrovnik, Croatia, Piscataway, N.J, vol.\u00a03, pp. 1177\u20131182. IEEE, Los Alamitos (2004)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-540-30232-2_22","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"O. Wibling","year":"2004","unstructured":"Wibling, O., Parrow, J., Pears, A.: Automatized Verification of Ad Hoc Routing Protocols. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 343\u2013358. Springer, Heidelberg (2004)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Xiong, C., Murata, T., Leigh, J.: An Approach for Verifying Routing Protocols in Mobile Ad Hoc Networks Using Petri Nets. In: Proceedings of IEEE 6th CAS Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication, Shanghai, China, pp. 537\u2013540 (2004)","DOI":"10.1109\/CASSET.2004.1321944"},{"key":"5_CR26","unstructured":"Xiong, C., Murata, T., Tsai, J.: Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Wireless Networks Using Colored Petri Nets. In: Proceedings of Workshop on Formal Methods Applied to Defence Systems in Formal Methods in Software Engineering and Defence Systems, Conferences in Research and Practice in Information Technology, vol.\u00a012, pp. 145\u2013153 (2002)"},{"key":"5_CR27","unstructured":"Yuan, C., Billington, J.: A Coloured Petri Net Model of the Dynamic MANET On-demand Routing Protocol. In: 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Department of Computer Science Technical Report, DAIMI PB 579, Aarhus, Denmark, pp. 37\u201356 (2006)"},{"key":"5_CR28","unstructured":"Yuan, C., Billington, J.: On Modelling the Dynamic MANET On-demand (DYMO) Routing Protocol. In: International Workshop on Petri Nets and Distributed Systems (PNDS 2008), Xi\u2019an, China, pp. 47\u201366 (2008)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency III"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04856-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T02:01:27Z","timestamp":1739412087000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04856-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048548","9783642048562"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04856-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}