{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:35:50Z","timestamp":1725550550674},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_16","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:38:16Z","timestamp":1130333896000},"page":"266-286","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks"],"prefix":"10.1007","author":[{"given":"Lars M.","family":"Kristensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Westergaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peder Christian","family":"N\u00f8rgaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Design\/CPN. Online, http:\/\/www.daimi.au.dk\/designCPN"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/1013115.1013157","volume-title":"DIS 2004: Proc. of the 2004 conference on Designing interactive systems","author":"C. Bossen","year":"2004","unstructured":"Bossen, C., J\u00f8rgensen, J.B.: Context-descriptive prototypes and their application to medicine administration. In: DIS 2004: Proc. of the 2004 conference on Designing interactive systems, pp. 297\u2013306. ACM Press, New York (2004)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BFb0053505","volume-title":"Services and Visualization: Towards User-Friendly Design","author":"C. Capellmann","year":"1998","unstructured":"Capellmann, C., Christensen, S., Herzog, U.: Visualising the Behaviour of Intelligent Networks. In: Margaria, T., Steffen, B., R\u00fcckert, R., Posegga, J. (eds.) AIN 1997, ICALP-WS 1997, VISUAL-WS 1998, ACoS 1998, and ETAPS-WS 1998. LNCS, vol.\u00a01385, pp. 174\u2013189. Springer, Heidelberg (1998)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Clausen, T., Jacquet, P.: Optimised Link State Routing Protocol (OLSR). RFC 3626 (October 2003)","DOI":"10.17487\/rfc3626"},{"key":"16_CR5","unstructured":"CPN Tools, www.daimi.au.dk\/CPNTools"},{"key":"16_CR6","unstructured":"The CPN Group at University of Aarhus, www.daimi.au.dk\/CPnets"},{"key":"16_CR7","unstructured":"Ericsson Danmark A\/S, Telebit, http:\/\/www.tbit.dk"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-48068-4_12","volume-title":"Application and Theory of Petri Nets 2002","author":"S. Gordon","year":"2002","unstructured":"Gordon, S., Kristensen, L.M., Billington, J.: Verification of a Revised WAP Wireless Transaction Protocol. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 182\u2013202. Springer, Heidelberg (2002)"},{"key":"16_CR9","unstructured":"Han, B., Billington, J.: Formalising the TCP Symmetrical Connection Management Service. In: Proc. of Design, Analysis, and Simulation of Distributed Syste ms, pp. 178\u2013184. SCS (2003)"},{"key":"16_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play. Springer, Heidelberg (2003)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Hinden, R., Deering, S.: Internet Protocol Version 6 (IPv6) Addressing Architecture. RFC 3513 (April 2003)","DOI":"10.17487\/rfc3513"},{"key":"16_CR12","volume-title":"IPv6: The New Internet Protocol","author":"C. Huitema","year":"1998","unstructured":"Huitema, C.: IPv6: The New Internet Protocol. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"16_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol.\u00a01-3. Springer, Heidelberg (1992)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-540-27793-4_27","volume-title":"Applications and Theory of Petri Nets 2004","author":"E. Kindler","year":"2004","unstructured":"Kindler, E., P\u00e1les, C.: 3D-Visualization of Petri Net Models: Concept and Realization. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 464\u2013473. Springer, Heidelberg (2004)"},{"key":"16_CR15","unstructured":"Kristensen, L.M.: Ad-hoc Networking and IPv6: Modelling and Validation, http:\/\/www.pervasive.dk\/projects\/IPv6\/IPv6_summary"},{"issue":"2","key":"16_CR16","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. Journal on Software Tools for Technology Transfer\u00a02(2), 98\u2013132 (1998)","journal-title":"Journal on Software Tools for Technology Transfer"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-27863-4_15","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"L.M. Kristensen","year":"2004","unstructured":"Kristensen, L.M., Jensen, K.: Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 248\u2013269. Springer, Heidelberg (2004)"},{"key":"16_CR18","unstructured":"Lindem, A.: OSPF for IPv6. Internet-draft (March 2005)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-48068-4_18","volume-title":"Application and Theory of Petri Nets 2002","author":"L. Lorentsen","year":"2002","unstructured":"Lorentsen, L., Tuovinen, A.-P., Xu, J.: Modelling Features and Feature Interactions of Nokia Mobile Phones Using Coloured Petri Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 294\u2013313. Springer, Heidelberg (2002)"},{"key":"16_CR20","volume-title":"Concurrency \u2013 State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency \u2013 State Models and Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"16_CR21","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/337180.337368","volume-title":"Proc. of 22nd International Conference on Software Engineering","author":"J. Magee","year":"2000","unstructured":"Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical Animation of Behavior Models. In: Proc. of 22nd International Conference on Software Engineering, pp. 499\u2013508. ACM Press, New York (2000)"},{"key":"16_CR22","unstructured":"N\u00f8rgaard, P.C.: NCW Routing in Tactical Networks. Ericsson Danmark A\/S, Telebit. Technical Report"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-45229-4_29","volume-title":"E-Commerce and Web Technologies","author":"C. Ouyang","year":"2003","unstructured":"Ouyang, C., Billington, J.: On Verifying the Internet Open Trading Protocol. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2003. LNCS, vol.\u00a02738, pp. 292\u2013302. Springer, Heidelberg (2003)"},{"key":"16_CR24","volume-title":"Ad Hoc Networking","author":"C.E. Perkins","year":"2001","unstructured":"Perkins, C.E.: Ad Hoc Networking. Addison-Wesley, Reading (2001)"},{"key":"16_CR25","unstructured":"Rasmussen, J.L., Singh, M.: Mimic\/CPN. A Graphical Simulation Utility for Design\/CPN. User\u2019s Manual, http:\/\/www.daimi.au.dk\/designCPN"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/3-540-61363-3_22","volume-title":"Application and Theory of Petri Nets 1996","author":"J.L. Rasmussen","year":"1996","unstructured":"Rasmussen, J.L., Singh, M.: Designing a Security System by Means of Coloured Petri Nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 400\u2013419. Springer, Heidelberg (1996)"},{"key":"16_CR27","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"16_CR28","unstructured":"TIN-CPN, http:\/\/wiki.daimi.au.dk\/tincpn"},{"key":"16_CR29","unstructured":"The\u00a0ExSpect tool, www.exspect.com"},{"key":"16_CR30","volume-title":"Elements of ML Programming","author":"J.D. Ullman","year":"1998","unstructured":"Ullman, J.D.: Elements of ML Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"16_CR31","unstructured":"Vixie, P.: Dynamic Updates in the Domain Name System. RFC 2136 (April 1997)"},{"key":"16_CR32","unstructured":"Winer, D.: XML-RPC Specification, http:\/\/www.xmlrpc.org\/spec"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T06:17:41Z","timestamp":1683267461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11589976_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}