{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:08Z","timestamp":1725886928610},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_4","type":"book-chapter","created":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T22:10:40Z","timestamp":1493849440000},"page":"37-56","source":"Crossref","is-referenced-by-count":2,"title":["Faster Simulation of (Coloured) Petri Nets Using Parallel Computing"],"prefix":"10.1007","author":[{"given":"Franck","family":"Pommereau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordan","family":"de la Houssaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"4_CR1","unstructured":"The Go programming language. \nhttp:\/\/golang.org"},{"key":"4_CR2","unstructured":"Bilenko, D.: gevent contributors: gevent. \nhttp:\/\/www.gevent.org"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-39086-4_7","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"L Cabac","year":"2016","unstructured":"Cabac, L., Haustermann, M., Mosteller, D.: Renew 2.5 \u2013 towards a comprehensive integrated development environment for petri net-based applications. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 101\u2013112. Springer, Cham (2016). doi:\n10.1007\/978-3-319-39086-4_7"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Chaou, S., Utard, G., Pommereau, F.: Evaluating a peer-to-peer storage system in presence of malicious peers. In: Proceedings of HPCS 2011. IEEE Computer Society (2011)","DOI":"10.1109\/HPCSim.2011.5999855"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-55179-4_18","volume-title":"Computer Aided Verification","author":"J-C Fernandez","year":"1992","unstructured":"Fernandez, J.-C., Mounier, L.: \u201cOn the fly\u201d verification of behavioural equivalences and preorders. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 181\u2013191. Springer, Heidelberg (1992). doi:\n10.1007\/3-540-55179-4_18"},{"key":"4_CR6","unstructured":"Fronc, \u0141., Pommereau, F.: Building petri nets tools around Neco compiler. In: Proceedings of PNSE 2013 (2013)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-38613-8_9","volume-title":"Integrated Formal Methods","author":"F Gava","year":"2013","unstructured":"Gava, F., Fortin, J., Guedj, M.: Deductive verification of state-space algorithms. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 124\u2013138. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38613-8_9"},{"key":"4_CR8","unstructured":"Gehrcke, J.P.: gipc: child processes and IPC for gevent. \nhttp:\/\/gehrcke.de\/gipc"},{"key":"4_CR9","unstructured":"Kincaid, J.: Google\u2019s Go: a new programming language that\u2019s Python meets C++. (2009). \nhttp:\/\/techcrunch.com\/2009\/11\/10\/google-go-language"},{"key":"4_CR10","unstructured":"Kordon, F., Garavel, H., Hillah, L.M., Hulin-Hubard, F., Chiardo, G., Hamez, A., Jezequel, L., Miner, A., Meijer, J., Paviot-Adet, E., Racordon, D., Rodriguez, C., Rohr, C., Srba, J., Thierry-Mieg, Y., Trinh, G., Wolf, K.: Complete Results for the 2016th Edition of the Model Checking Contest (2016). \nhttp:\/\/mcc.lip.6.fr\/2016\/results.php"},{"key":"4_CR11","unstructured":"Kordon, F.: Prototypage de syst\u00e8mes parall\u00e8les \u00e0 partir de r\u00e9seaux de Petri color\u00e9s. Ph.D. thesis, UPMC (1992)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1006\/jpdc.1995.1106","volume":"29","author":"DM Nicol","year":"1995","unstructured":"Nicol, D.M., Mao, W.: Automated parallelization of timed petri-net simulations. J. Parallel Distrib. Comput. 29(1), 60\u201374 (1995)","journal-title":"J. Parallel Distrib. Comput."},{"key":"4_CR13","unstructured":"Pommereau, F.: Nets in nets with SNAKES. In: Proceedings of MOCA 2009. Universit\u00e4t Hamburg, Department of Informatik, Hamburg (2009)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-319-19488-2_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2015","unstructured":"Pommereau, F.: SNAKES: a flexible high-level petri nets library (Tool paper). In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 254\u2013265. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19488-2_13"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-39086-4_12","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2016","unstructured":"Pommereau, F.: ABCD: a user-friendly language for formal modelling and analysis. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 176\u2013195. Springer, Cham (2016). doi:\n10.1007\/978-3-319-39086-4_12"},{"key":"4_CR16","unstructured":"Pommereau, F., de la Houssaye, J.: Supplementary material. \nhttp:\/\/github.com\/fpom\/PETRINETS-2017-supplementary"},{"key":"4_CR17","unstructured":"Rodola, G.: A cross-platform process and system utilities module for Python. \nhttp:\/\/github.com\/giampaolo\/psutil"},{"key":"4_CR18","unstructured":"The Theoretical Foundations Group of the Department for Informatics of the University of Hamburg: Renew, the reference net workshop - highlights. \nhttp:\/\/www.informatik.uni-hamburg.de\/TGI\/renew\/highlights.html"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Wang, B., Zhao, C.: A petri net simulation kernel with extendibility, convenient modeling and fast simulation engine. In: Proceedings of ICCT 2003, vol. 2. IEEE (2003)","DOI":"10.1109\/ICCT.2003.1209821"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T22:11:40Z","timestamp":1493849500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}