{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:49:42Z","timestamp":1742975382369,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026706"},{"type":"electronic","value":"9783642026713"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02671-3_9","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T10:44:59Z","timestamp":1244285099000},"page":"79-86","source":"Crossref","is-referenced-by-count":3,"title":["Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Rz\u0105sa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Allman, M., Paxson, V.: TCP Congestion Control. RFC\u00a02581 (April 1999)","key":"9_CR1","DOI":"10.17487\/rfc2581"},{"doi-asserted-by":"crossref","unstructured":"Allman, M., Paxson, V.: Computing TCP\u2019s Retransmission Timer. RFC\u00a02988 (November 2000)","key":"9_CR2","DOI":"10.17487\/rfc2988"},{"unstructured":"De Figueiredo, J.C.A., Kristensen, L.M.: Using Coloured Petri nets to investigate behavioural and performance issues of TCP protocols. Department of Computer Science, Aarhus University, 21\u201340 (1999)","key":"9_CR3"},{"unstructured":"De Vendictis, A., Baiocchi, A., Monticelli, A.: Simple Models and their Limits for TCP\/IP Network Analysis and Dimensioning. In: Proc. of IEEE ICC 2002 (April 2002)","key":"9_CR4"},{"doi-asserted-by":"crossref","unstructured":"Elteto, T., Vaderna, P., Molnar, S.: Performance Analysis of TCP Networks Loaded by Web Traffic. In: 18th International Teletraffic Congress, ITC18, Berlin, Germany, August 31 - September 5 (2003)","key":"9_CR5","DOI":"10.1016\/S1388-3437(03)80213-5"},{"doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid. International Journal of Supercomputer Applications\u00a015(3) (2001)","key":"9_CR6","DOI":"10.1177\/109434200101500302"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/235160.235162","volume":"26","author":"K. Fall","year":"1996","unstructured":"Fall, K., Floyd, S.: Simulation-based comparisons of tahoe, reno, and sack tcp. Computer Communication Review\u00a026, 5\u201321 (1996)","journal-title":"Computer Communication Review"},{"key":"9_CR8","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Basic Concepts, Analysis Methods and Practical Use, Basic Concepts","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1994)"},{"doi-asserted-by":"crossref","unstructured":"Kalampoukas, L., Varma, A., Ramakrishnan, K. K.: Two-Way TCP Traffic Over Rate Controlled Channels: Effects and Analysis, University of California at Santa Cruz, Santa Cruz, CA, USA (1997)","key":"9_CR9","DOI":"10.1109\/90.748085"},{"doi-asserted-by":"crossref","unstructured":"Mathis, M., Mahdavi, J., Floyd, S.: TCP Selective Acknowledgment Options. RFC\u00a02018 (October 1996)","key":"9_CR10","DOI":"10.17487\/rfc2018"},{"doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE\u00a077(4) (April 1989)","key":"9_CR11","DOI":"10.1109\/5.24143"},{"unstructured":"Ns-2 network simulator homepage, http:\/\/isi.edu\/nsnam\/ns\/","key":"9_CR12"},{"unstructured":"Petri Net Kernel and Petri Net Cube homepage, http:\/\/www2.informatik.hu-berlin.de\/top\/pnk\/","key":"9_CR13"},{"unstructured":"Ye, Q., MacGregor, M.H.: Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation. In: 4th Annual Conference on Communication Networks and Services Research (CNSR), Moncton, New Brunswick, Canada, May 24\u201325 (2006)","key":"9_CR14"},{"unstructured":"Rz\u0105sa, W., Bubak, M.: Application of Petri Nets to Evaluation of Grid Applications Efficiency. In: Proc. of CGW 2008, Krak\u00f3w, pp. 261\u2013269 (2009) ISBN 978-83-61433-00-2","key":"9_CR15"},{"key":"9_CR16","first-page":"89","volume":"26","author":"W. Rz\u0105sa","year":"2007","unstructured":"Rz\u0105sa, W., Bubak, M., Bali\u015b, B., Szepieniec, T.: Overhead Verification for Cryptographically Secured Transmission in the Grid. Computing and Informatics\u00a026, 89\u2013101 (2007)","journal-title":"Computing and Informatics"},{"unstructured":"Transmission Control Protocol, RFC\u00a0793, Information Sciences Institute University of Southern California (September 1981)","key":"9_CR17"},{"key":"9_CR18","volume-title":"WNS2 2006: Proceeding from the 2006 workshop on ns-2: the IP network simulator","author":"D.X. Wei","year":"2006","unstructured":"Wei, D.X., Cao, P.: NS-2 TCP-Linux: an NS-2 TCP implementation with congestion control algorithms from Linux. In: WNS2 2006: Proceeding from the 2006 workshop on ns-2: the IP network simulator, Pisa, Italy. ACM, New York (2006)"}],"container-title":["Communications in Computer and Information Science","Computer Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02671-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T15:20:24Z","timestamp":1685028024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02671-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026706","9783642026713"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02671-3_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}