{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:42:56Z","timestamp":1725727376950},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388644"},{"type":"electronic","value":"9783642388651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38865-1_1","type":"book-chapter","created":{"date-parts":[[2013,5,27]],"date-time":"2013-05-27T01:42:02Z","timestamp":1369618922000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Synchronization Algorithm for Timed Colored Petri Nets and Ns-2 Simulators"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Rz\u0105sa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Bonn: Institut f\u00fcr Instrumentelle Mathematik. Schriften des IIM Nr. 3 (1962) Also, English translation, Communication with Automata. New York: Griffiss Air Force Base. Tech. Rep. RADC-TR-65-377, vol. 1, (suppl. 1) (1966)"},{"key":"1_CR2","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. EATCS Monographs on Theoretical Computer Science, vol.\u00a01. Springer (1994)"},{"key":"1_CR3","first-page":"21","volume-title":"Second Workshop on Practical Use of Coloured Petri Nets and Design\/CPN","author":"J.C.A. Figueiredo De","year":"1999","unstructured":"De Figueiredo, J.C.A., Kristensen, L.M.: Using Coloured Petri nets to investigate behavioural and performance issues of TCP protocols. In: Second Workshop on Practical Use of Coloured Petri Nets and Design\/CPN, pp. 21\u201340. Department of Computer Science, Aarhus University (1999)"},{"key":"1_CR4","first-page":"7","volume-title":"Grid and Volunteer Computing","author":"W. Rz\u0105sa","year":"2012","unstructured":"Rz\u0105sa, W., Bubak, M., Nawarecki, E.: High-Level Model for Performance Evaluation of Distributed Applications. In: Balicki, J., Krawczyk, H., Nawarecki, E. (eds.) Grid and Volunteer Computing, Gdansk University of Technology Faculty of Elektronics, pp. 7\u201323. Telecomunication and Informatics Press, Gda\u0144sk (2012)"},{"key":"1_CR5","first-page":"137","volume-title":"Projektowanie, analiza i\u00a0implementacja system\u00f3w czasu rzeczywistego","author":"G. Dec","year":"2011","unstructured":"Dec, G., Rz\u0105sa, W.: Modelowanie wielowarstwowej rozproszonej aplikacji www z\u00a0zastosowaniem TCPN. In: Trybus, L., Samolej, S. (eds.) Projektowanie, analiza i\u00a0implementacja system\u00f3w czasu rzeczywistego, pp. 137\u2013148. Wydawnictwa Komunikacji i\u00a0\u0141\u0105czno\u015bci, Warszawa (2011)"},{"key":"1_CR6","doi-asserted-by":"crossref","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. ACM Press, Pisa (2006)","DOI":"10.1145\/1190455.1190463"},{"key":"1_CR7","unstructured":"Liang, S.: The JavaTMNative Interface Programmer\u2019s Guide and Specification. Prentice Hall (June 1999)"},{"key":"1_CR8","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-02671-3_9","volume-title":"Computer Networks","author":"W. Rz\u0105sa","year":"2009","unstructured":"Rz\u0105sa, W.: Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2009. CCIS, vol.\u00a039, pp. 79\u201386. Springer, Heidelberg (2009)"},{"key":"1_CR9","first-page":"139","volume-title":"Proc. of the 4th Annual Communication Networks and Services Research Conference","author":"Q. Ye","year":"2006","unstructured":"Ye, Q., MacGregor, M.H.: Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation. In: Proc. of the 4th Annual Communication Networks and Services Research Conference, pp. 139\u2013148. IEEE Computer Society Press, Washington, DC (2006)"},{"key":"1_CR10","unstructured":"Hemminger, S.: Network Emulation with NetEm. In: Network Emulation with NetEm. In: Proc. of the 2005 Linux Conference Australia, LCA-2005 (April 2005)"},{"key":"1_CR11","unstructured":"Burger, M., Kielmann, T.: MOB: zero-configuration high-throughput multicasting for grid applications. In: Proc. of the 16th International Symposium on High Performance Distributed Computing, Monterey, California, USA (June 2007)"},{"issue":"5","key":"1_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/1400097.1400105","volume":"42","author":"H. Sangtae","year":"2008","unstructured":"Sangtae, H., Injong, R., Lisong, X.: CUBIC: a\u00a0new TCP-friendly high-speed TCP variant. ACM SIGOPS Operating Systems Review\u00a042(5), 64\u201374 (2008)","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Choe, Y.R., Schuff, D.L., Dyaberi, J.M., Pai, V.S.: Improving VoD server efficiency with bittorrent. In: Proc. of the 15th International Conference on Multimedia, Augsburg, Germany (September 2007)","DOI":"10.1145\/1291233.1291258"}],"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-38865-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:11:59Z","timestamp":1557731519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38865-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388644","9783642388651"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38865-1_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}