{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:00:08Z","timestamp":1742950808962,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048548"},{"type":"electronic","value":"9783642048562"}],"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_4","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:41:51Z","timestamp":1257320511000},"page":"71-97","source":"Crossref","is-referenced-by-count":10,"title":["Parameterised Coloured Petri Net Channel Models"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Billington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somsak","family":"Vanit-Anunchai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy E.","family":"Gallasch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Billington, J.: Extensions to Coloured Petri Nets and their Application to Protocols. PhD thesis, University of Cambridge, Computer Laboratory (May 1990); Published as Technical Report No. 222 (May 1991)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-540-39979-7_14","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Gallasch, G.E.: How Stop and Wait Protocols Can Fail Over The Internet. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 209\u2013223. Springer, Heidelberg (2003)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-27755-2_6","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Billington","year":"2004","unstructured":"Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net Approach to Protocol Verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 210\u2013290. Springer, Heidelberg (2004)"},{"issue":"1-3","key":"4_CR4","first-page":"49","volume":"80","author":"J. Billington","year":"2007","unstructured":"Billington, J., Han, B.: Formalising TCP\u2019s Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundamenta Informaticae\u00a080(1-3), 49\u201374 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"3-4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10009-007-0034-1","volume":"9","author":"J. Billington","year":"2007","unstructured":"Billington, J., Han, B.: Modelling and Analysing the Functional Behaviour of TCP\u2019s Connection Management Procedures. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 269\u2013304 (2007), \n                    http:\/\/dx.doi.org\/10.1007\/s10009-007-0034-1","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"3","key":"4_CR6","first-page":"357","volume":"88","author":"J. Billington","year":"2008","unstructured":"Billington, J., Vanit-Anunchai, S.: Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. Fundamenta Informaticae\u00a088(3), 357\u2013385 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR7","unstructured":"CPN Tools home page, \n                    http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"4_CR8","unstructured":"Design\/CPN Online, \n                    http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Floyd, S., Handley, M., Kohler, E.: Problem Statement for the Datagram Congestion Control Protocol (DCCP), RFC 4336 (March 2006), \n                    http:\/\/www.rfc-editor.org\/rfc\/rfc4336.txt","DOI":"10.17487\/rfc4336"},{"issue":"3-4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/s10009-007-0031-4","volume":"9","author":"G.E. Gallasch","year":"2007","unstructured":"Gallasch, G.E., Billington, J., Vanit-Anunchai, S., Kristensen, L.M.: Checking Safety Properties On-The-Fly with the Sweep-line Method. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 374\u2013391 (2007), \n                    http:\/\/dx.doi.org\/10.1007\/s10009-007-0031-4","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"4_CR11","unstructured":"Gallasch, G.E., Vanit-Anunchai, S., Billington, J., Kristensen, L.M.: Checking Language Inclusion On-The-Fly with the Sweep-line Method. In: The Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. DAIMI PB 576, October 24-26, pp. 1\u201320. Department of Computer Science, University of Aarhus (2005), \n                    http:\/\/www.daimi.au.dk\/CPnets\/workshop05\/cpn\/papers\/"},{"key":"4_CR12","unstructured":"Gordon, S.: Verification of the WAP Transaction Layer uisng Coloured Petri Nets. PhD thesis, Institute for Telecommunications Research and Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (November 2001)"},{"key":"4_CR13","unstructured":"Han, B.: Formal Specification of the TCP Service and Verification of TCP Connection Management. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (December 2004)"},{"key":"4_CR14","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall International Editions, Englewood Cliffs (1991)"},{"key":"4_CR15","series-title":"Basic Concepts. Monographs in Theoretical Computer Science","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, 2nd edn. Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997)","edition":"2"},{"issue":"3-4","key":"4_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":"4_CR17","doi-asserted-by":"crossref","unstructured":"Kohler, E., Handley, M., Floyd, S.: Designing DCCP: Congestion Control Without Reliability. In: Proceedings of the 2006 ACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM 2006), Pisa, Italy, September 11-15, pp. 27\u201338 (2006)","DOI":"10.1145\/1159913.1159918"},{"key":"4_CR18","unstructured":"Kohler, E., Handley, M., Floyd, S.: Datagram Congestion Control Protocol, draft-ietf-dccp-spec-6 (February 2004), \n                    http:\/\/www.read.cs.ucla.edu\/dccp\/draft-ietf-dccp-spec-06.txt"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Kohler, E., Handley, M., Floyd, S.: Datagram Congestion Control Protocol, RFC 4340 (March 2006), \n                    http:\/\/www.rfc-editor.org\/rfc\/rfc4340.txt","DOI":"10.17487\/rfc4340"},{"key":"4_CR20","unstructured":"Kohler, E., Handley, M., Floyd, S., Padhye, J.: Datagram Congestion Control Protocol, draft-ietf-dccp-spec-5 (October 2003), \n                    http:\/\/www.read.cs.ucla.edu\/dccp\/draft-ietf-dccp-spec-05.txt"},{"key":"4_CR21","unstructured":"Kongprakaiwoot, T.: Verification of the Datagram Congestion Control Protocol using Coloured Petri Nets. Master\u2019s thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (November 2004)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"4_CR23","unstructured":"Liu, L.: Towards Parametric Verification of the Capability Exchange Signalling Protocol. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (May 2006)"},{"key":"4_CR24","unstructured":"Mailund, T.: Sweeping the State Space - A Sweep-Line State Space Exploration Method. PhD thesis, Department of Computer Science, University of Aarhus (February 2003)"},{"key":"4_CR25","unstructured":"Mulyar, N.A., van der Aalst, W.M.P.: Patterns in Coloured Petri Nets. Technical report, Department of Technology Management, Eindhoven University, P.O. Box 513, NL-5800 MB, Eindhoven, The Netherlands (April 2005)"},{"key":"4_CR26","unstructured":"Ouyang, C.: Formal Specification and Verification of the Internet Open Trading Protocol using Coloured Petri Nets. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (June 2004)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission Control Protocol (TCP), RFC793 (September 1981), \n                    http:\/\/www.rfc-editor.org\/rfc\/rfc793.txt","DOI":"10.17487\/rfc0793"},{"key":"4_CR28","volume-title":"Computer Networks","author":"A. Tanenbaum","year":"2003","unstructured":"Tanenbaum, A.: Computer Networks, 4th edn. Prentice Hall, Englewood Cliffs (2003)","edition":"4"},{"key":"4_CR29","unstructured":"Vanit-Anunchai, S.: An Investigation of the Datagram Congestion Control Protocol\u2019s Connection Management and Synchronisation Procedures. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (November 2007)"},{"key":"4_CR30","first-page":"345","volume-title":"Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)","author":"S. Vanit-Anunchai","year":"2006","unstructured":"Vanit-Anunchai, S., Billington, J.: Effect of Sequence Number Wrap on DCCP Connection Establishment. In: Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Monterey, California, USA, September 11-13, pp. 345\u2013354. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"4_CR31","unstructured":"Vanit-Anunchai, S., Billington, J.: Initial Result of a Formal Analysis of DCCP Connection Management. In: Proceedings of the Fourth International Network Conference (INC 2004), July 6-9, pp. 63\u201370. University of Plymouth, Plymouth (2004)"},{"issue":"21","key":"4_CR32","doi-asserted-by":"publisher","first-page":"1198","DOI":"10.1049\/el:20051685","volume":"41","author":"S. Vanit-Anunchai","year":"2005","unstructured":"Vanit-Anunchai, S., Billington, J.: Chattering Behaviour in the Datagram Congestion Control Protocol. IEE Electronics Letters\u00a041(21), 1198\u20131199 (2005)","journal-title":"IEE Electronics Letters"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-540-73094-1_25","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"S. Vanit-Anunchai","year":"2007","unstructured":"Vanit-Anunchai, S., Billington, J.: Modelling the Datagram Congestion Control Protocol\u2019s Connection Management and Synchronisation Procedures. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 423\u2013444. Springer, Heidelberg (2007)"},{"issue":"1","key":"4_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10009-007-0050-1","volume":"10","author":"S. Vanit-Anunchai","year":"2008","unstructured":"Vanit-Anunchai, S., Billington, J., Gallasch, G.E.: Analysis of the Datagram Congestion Control Protocol\u2019s Connection Management Procedures using the Sweep-line Method. International Journal on Software Tools for Technology Transfer\u00a010(1), 29\u201356 (2008), \n                    http:\/\/dx.doi.org\/10.1007\/s10009-007-0050-1","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"4_CR35","unstructured":"Vanit-Anunchai, S., Billington, J., Gallasch, G.E.: A Combined Protocol Channel Model and its Application to the Datagram Congestion Control Protocol. In: Proceedings of the International Workshop on Petri Nets and Distributed Systems, Xi\u2019an, China, June 23-24, pp. 32\u201346 (2008)"},{"key":"4_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11562436_12","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"S. Vanit-Anunchai","year":"2005","unstructured":"Vanit-Anunchai, S., Billington, J., Kongprakaiwoot, T.: Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 143\u2013158. Springer, Heidelberg (2005)"},{"key":"4_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BFb0097773","volume-title":"Application of Petri Nets to Communication Networks","author":"G. Wheeler","year":"1999","unstructured":"Wheeler, G.: The Modelling and Analysis of IEEE 802.6\u2019s Configuration Control Protocol with Coloured Petri Nets. In: Billington, J., D\u00edaz, M., Rozenberg, G. (eds.) APN 1999. LNCS, vol.\u00a01605, pp. 69\u201392. Springer, Heidelberg (1999)"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T00:32:44Z","timestamp":1676680364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04856-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048548","9783642048562"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04856-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}