{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:56:51Z","timestamp":1761649011580,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662653029"},{"type":"electronic","value":"9783662653036"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-662-65303-6_6","type":"book-chapter","created":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T06:02:49Z","timestamp":1650348169000},"page":"112-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Practical Distributed Implementation of\u00a0Very Large Scale Petri Net Simulations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7387-5970","authenticated-orcid":false,"given":"Ashur","family":"Rafiev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8890-8042","authenticated-orcid":false,"given":"Jordan","family":"Morris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3426-8406","authenticated-orcid":false,"given":"Fei","family":"Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0826-9330","authenticated-orcid":false,"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9827-8497","authenticated-orcid":false,"given":"Matthew","family":"Naylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2806-495X","authenticated-orcid":false,"given":"Simon","family":"Moore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5201-7977","authenticated-orcid":false,"given":"Graeme","family":"Bragg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6552-5831","authenticated-orcid":false,"given":"Mark","family":"Vousden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,4,20]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Poliakov, I., Mokhov, A., Rafiev, A., Sokolov, D., Yakovlev, A.: Automated verification of asynchronous circuits using circuit petri nets. In: 14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, Newcastle upon Tyne, UK, 7\u201310 April 2008, pp. 161\u2013170. IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/ASYNC.2008.18","DOI":"10.1109\/ASYNC.2008.18"},{"key":"6_CR2","unstructured":"Bertens, L.M.F., Kleijn, J., Koutny, M., Verbeek, F.J.: Modelling gradients using petri nets. In: Proceedings of the Workshops of PETRI NETS 2010 and ACSD 2010, Braga, Portugal, June 2010, vol. 827, pp. 39\u201353 (2010). http:\/\/ceur-ws.org\/Vol-827\/4_LauraBertens_article.pdf"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Wheeldon, A., Yakovlev, A., Shafik, R.: Self-timed reinforcement learning using tsetlin machine. In: 27th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC, 7\u201310 September 2021, pp. 40\u201347. IEEE Computer Society (2021). https:\/\/arxiv.org\/abs\/2109.00846","DOI":"10.1109\/ASYNC48570.2021.00014"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Shafik, R., Wheeldon, A., Yakovlev, A.: Explainability and dependability analysis of learning automata based AI hardware. In: 2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS) (2020)","DOI":"10.1109\/IOLTS50870.2020.9159725"},{"key":"6_CR5","volume-title":"Simulation Techniques for Discrete Event Systems","author":"I Mitrani","year":"2009","unstructured":"Mitrani, I.: Simulation Techniques for Discrete Event Systems. Cambridge University Press, Cambridge (2009)"},{"key":"6_CR6","unstructured":"Poliakov, I.: Interpreted graph models. School of Electrical, Electronic and Computer Engineering, Ph.D. thesis (2011). https:\/\/theses.ncl.ac.uk\/jspui\/bitstream\/10443\/1183\/1\/Poliakov11.pdf"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Poliakov, I., Khomenko, V., Yakovlev, A.: Workcraft \u2013 a framework for interpreted graph models. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 333\u2013342. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_21. http:\/\/workcraft.org","DOI":"10.1007\/978-3-642-02424-5_21"},{"key":"6_CR8","unstructured":"Khomenko, V.: Model checking based on prefixes of Petri Net unfoldings. School of Computing Science, Newcastle University, Ph.D. thesis (2003). https:\/\/theses.ncl.ac.uk\/jspui\/handle\/10443\/743"},{"issue":"3","key":"6_CR9","first-page":"315","volume":"E80\u2013D","author":"J Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. E80\u2013D(3), 315\u2013325 (1997)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0304-3975(86)90177-5","volume":"43","author":"R Janicki","year":"1986","unstructured":"Janicki, R., Lauer, P.E., Koutny, M., Devillers, R.R.: Concurrent and maximally concurrent evolution of nonsequential systems. Theor. Comput. Sci. 43, 213\u2013238 (1986). https:\/\/doi.org\/10.1016\/0304-3975(86)90177-5","journal-title":"Theor. Comput. Sci."},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-030-76983-3_20","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"R Bergenthum","year":"2021","unstructured":"Bergenthum, R.: Firing partial orders in a petri net. In: Buchs, D., Carmona, J. (eds.) PETRI NETS 2021. LNCS, vol. 12734, pp. 399\u2013419. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76983-3_20"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/6462.6485","volume":"18","author":"J Misra","year":"1986","unstructured":"Misra, J.: Distributed discrete-event simulation. ACM Comput. Surv. 18(1), 39\u201365 (1986). https:\/\/doi.org\/10.1145\/6462.6485","journal-title":"ACM Comput. Surv."},{"key":"6_CR13","unstructured":"Ferscha, A.: Parallel and distributed simulation of Petri Nets (tutorial). In: Performance Tools 1995, September 1995. https:\/\/www.researchgate.net\/publication\/2532088"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Fernandes, J.: Elastic bundles: modelling and architecting asynchronous circuits with granular rigidity. EEE, School of Engineering, Newcastle University, Ph.D. thesis NCL-EEE-MICRO-TR-2017-206 (2017). http:\/\/async.org.uk\/tech-reports\/NCL-EEE-MICRO-TR-2017-206.pdf","DOI":"10.1109\/ASYNC.2017.14"},{"key":"6_CR15","unstructured":"POETS project website. https:\/\/poets-project.org"},{"issue":"6","key":"6_CR16","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1002\/wics.1314","volume":"6","author":"DP Kroese","year":"2014","unstructured":"Kroese, D.P., Brereton, T., Taimre, T., Botev, Z.I.: Why the Monte Carlo method is so important today. WIREs Comput. Stat. 6(6), 386\u2013392 (2014)","journal-title":"WIREs Comput. Stat."},{"key":"6_CR17","unstructured":"Brown, A., et al.: Distributed event-based computing (2018). https:\/\/gow.epsrc.ukri.org\/NGBOViewGrant.aspx ?GrantRef=EP\/N031768\/1"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Naylor, M., Moore, S.W., Thomas, D.: Tinsel: a manythread overlay for FPGA clusters. In: Proceedings to FPL (2019)","DOI":"10.1109\/FPL.2019.00066"},{"key":"6_CR19","unstructured":"RISC-V: The free and open RISC instruction set architecture. https:\/\/riscv.org"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Naylor, M., et al.: Termination detection for fine-grained message-passing architectures. In: Proceedings to ASAP. IEEE (2020)","DOI":"10.1109\/ASAP49362.2020.00012"},{"key":"6_CR21","unstructured":"Dijkstra, E.W.: Shmuel Safra\u2019s version of termination detection. https:\/\/www.cs.utexas.edu\/users\/EWD\/ewd09xx\/EWD998.PDF"},{"key":"6_CR22","volume-title":"The Art of Computer Programming, Volume 2: Seminumerical Algorithms","author":"DE Knuth","year":"1997","unstructured":"Knuth, D.E.: The Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd edn. Addison-Wesley, Boston (1997)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-65303-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T06:03:19Z","timestamp":1650348199000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-65303-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783662653029","9783662653036"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-65303-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 April 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}