{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:23:56Z","timestamp":1737437036657,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_14","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"181-200","source":"Crossref","is-referenced-by-count":2,"title":["On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers"],"prefix":"10.1007","author":[{"given":"R.","family":"Gaeta","sequence":"first","affiliation":[]},{"given":"M.","family":"Gribaudo","sequence":"additional","affiliation":[]},{"given":"D.","family":"Manini","sequence":"additional","affiliation":[]},{"given":"M.","family":"Sereno","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, C. Casetti, R. Gaeta, and M. Meo. Performance analysis of TCP connections sharing a congested internet link. Performance Evaluation, 42(2\u20133), September 2000.","DOI":"10.1016\/S0166-5316(00)00033-X"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"M. Allman, V. Paxon, and W. Stevens. TCP Congestion Control. Technical report, RFC 2581, April 1999.","DOI":"10.17487\/rfc2581"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"N. Cardwell, S. Savage, and T. Anderson. Modeling TCP latency. In Proc. IEEE Infocom 2000, pages 1742\u20131751, Tel Aviv, Israel, March 2000. IEEE Comp. Soc. Press.","DOI":"10.1109\/INFCOM.2000.832574"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"C. Casetti and M. Meo. A New approach to Model the Stationary Behavior of TCP Connections. In Proc. IEEE Infocom 2000, Tel Aviv, Israel, March 2000. IEEE Comp. Soc. Press.","DOI":"10.1109\/INFCOM.2000.832207"},{"key":"14_CR5","unstructured":"J.C.A. de Figueiredo and L. M. Kristensen. Using Coloured Petri nets to investigate behavioural and performance issues of TCP protocols. In Proc. of the 2nd Workshop on the Practical Use of Coloured Petri Nets and De-sign\/CPN, 1999."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"S. Floyd and T. Henderson. The NewReno Modification to TCP,s Fast Recovery Algorithm. Technical report, RFC 2582, 1999.","DOI":"10.17487\/rfc2582"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"S. Floyd and V. Jacobson. Random Early Detection Gateways for Congestion Avoidance. IEEE\/ACM Transaction on Networking, 1(4), August 1997.","DOI":"10.1109\/90.251892"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"M. Garetto, R. Lo Cigno, M. Meo, and M. Ajmone Marsan. A Detailed and Accurate Closed Queueing Network Model of Many Interacting TCP Flows. In Proc. IEEE Infocom 2001, Anchorage, Alaska, USA, 2001. IEEE Comp. Soc. Press.","DOI":"10.1109\/INFCOM.2001.916668"},{"key":"14_CR9","unstructured":"R. German. Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000."},{"key":"14_CR10","unstructured":"M. Gribaudo. Transient Solution Methods for Deterministic Stochastic Petri Nets. Technical report, Universit\u00e0 di Torino, 2002. http:\/\/www.di.unito.it\/~marcog\/res.html."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"V. Jacobson. Congestion avoidance and control. In Proc. ACM SIGCOMM\u2019 88, 1988. An updated version is avaliable via ftp:\/\/ftp.ee.lbl.gov\/papers\/congavoid.ps.Z.","DOI":"10.1145\/52324.52356"},{"key":"14_CR12","unstructured":"E. Kir\u00e1ly, M. Garetto, R. Lo Cigno, M. Meo, and M. Ajmone Marsan. Computation of the Completion Time Time Distribution of Short-Lived TCP Connections. Technical report, Politecnico di Torino, 2002."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"C. Lindemann. Performance Modelling with Deterministic and Stochastic Petri Nets. John Wiley and Sons, 1998.","DOI":"10.1145\/288197.581195"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"R. Lo Cigno and M. Gerla. Modelling Window Based Congestion Control Protocols with Many Flows. In Proc. Performance 1999, Istanbul, Turkey, 1999.","DOI":"10.1016\/S0166-5316(99)00029-2"},{"key":"14_CR15","unstructured":"S. MCanne and S. Floyd. ns-2 network simulator (ver.2). Technical report, 1997. URL http:\/\/www.isi.edu\/nsnam\/ns\/."},{"issue":"8","key":"14_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/288197.288212","volume":"26","author":"A. Ost","year":"1998","unstructured":"A. Ost and B. R. Haverkort. Analysis of Windowing Mechanisms with Infinite-State Stochastic Petri Nets. ACM Performance Evaluation Review, 26(8):38\u201346, 1998.","journal-title":"ACM Performance Evaluation Review"},{"issue":"2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/90.842137","volume":"8","author":"J. Padhye","year":"2000","unstructured":"J. Padhye, V. Firoiu, D. Towsley, and J. Kurose. Modeling TCP Reno performance: a simple model and its empirical validation. IEEE\/ACM Transaction on Networking, 8(2):133\u2013145, 2000.","journal-title":"IEEE\/ACM Transaction on Networking"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"V. Paxon. End-to-End Internet Packet Dynamics. IEEE\/ACM Transaction on Networking, 7(3), June 1999.","DOI":"10.1109\/90.779192"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"J. Postel. Transmission Control Protocol. Technical report, RFC 793, September 1981.","DOI":"10.17487\/rfc0793"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"W. Stevens. TCP Slow Start, Fast retransmit, and Fast Recovery Algorithms. Technical report, RFC 2001, IETF, Jan 1997.","DOI":"10.17487\/rfc2001"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"K. Thompson, G. Miller, and R. Wilder. Wide-area internet traffic patterns and charateristics. IEEE Network, 11(6), Nov\u2013Dec 1997.","DOI":"10.1109\/65.642356"},{"key":"14_CR22","unstructured":"A. Wolman, G. Voelker, N. Sharma, N. Cardwell, M. Brown, T. Landray, D. Pinnel, A. Karlin, and H. Levy. Organization-Based Analysis of Web-Object Sharing and Caching. In Proceedings of USENIX Symposium on Internet Technologies and Systems, October 1999."},{"key":"14_CR23","unstructured":"Y. Zhang, V. Paxson, and S. Shenker. The Stationarity of Internet Path Properties: Routing, Loss, and Throughput. Technical report, AT&T Center for Internet Research at ICSI, http:\/\/www.aciri.org\/, May 2000."},{"issue":"5","key":"14_CR24","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1109\/3477.875449","volume":"30","author":"Y. Zhou","year":"2000","unstructured":"Y. Zhou, T. Murata, and T.A. DeFanti. Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. IEEE Trans. on Systems, Man, and Cybernetics; B: Cybernetics, 30(5):737\u2013756, 2000.","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics; B: Cybernetics"},{"key":"14_CR25","unstructured":"A. Zimmermann, R. German, J. Freiheit, and G. Hommel. TimeNET 3.0 Tool Description. In 8th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sep 1999. IEEE-CS Press."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T20:26:43Z","timestamp":1737404803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}