{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T00:50:30Z","timestamp":1753923030824,"version":"3.40.2"},"reference-count":38,"publisher":"Informa UK Limited","issue":"2","license":[{"start":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T00:00:00Z","timestamp":1732233600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2025,3,4]]},"DOI":"10.1080\/17445760.2024.2431545","type":"journal-article","created":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T10:54:18Z","timestamp":1732272858000},"page":"101-115","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":1,"title":["Notation for mass parallel algorithms: computing Petri net state space on GPU case study"],"prefix":"10.1080","volume":"40","author":[{"given":"D. A.","family":"Zaitsev","sequence":"first","affiliation":[{"name":"University of Derby","place":["Derby, UK"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Zhang","sequence":"additional","affiliation":[{"name":"Xidian University","place":["Xi'an, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Liu","sequence":"additional","affiliation":[{"name":"Xidian University","place":["Xi'an, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. R.","family":"Shmeleva","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems","place":["Kaiserslautern, Germany"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2024,11,22]]},"reference":[{"key":"e_1_3_2_2_1","volume-title":"Petri net theory and the modeling of systems","author":"Peterson JL.","year":"1981","unstructured":"Peterson JL. Petri net theory and the modeling of systems. Englewood Cliffs: Prentice Hall PTR; 1981."},{"key":"e_1_3_2_3_1","unstructured":"McMillan KL Checking SM. An approach to the state explosion problem [Ph.D. dissertation Ph.D. thesis]. Carnegie Mellon University 1992 CMU-CS-92-131; 1993."},{"key":"e_1_3_2_4_1","doi-asserted-by":"crossref","unstructured":"McMillan KL. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits in computer aided verification. In: Fourth International Workshop CAV'92 Montreal June 29\u2013July 1 1992 Proceedings 4 Canada: Springer; 1993. p. 164\u2013177.","DOI":"10.1007\/3-540-56496-9_14"},{"key":"e_1_3_2_5_1","volume-title":"Deadlock resolution in automated manufacturing systems","author":"Li ZW","year":"2010","unstructured":"Li ZW, Zhou MC. Deadlock resolution in automated manufacturing systems. London: Springer; 2010."},{"issue":"4","key":"e_1_3_2_6_1","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets\u2013a literature review","volume":"42","author":"Li Z","year":"2011","unstructured":"Li Z, Wu N, Zhou M. Deadlock control of automated manufacturing systems based on Petri nets\u2013a literature review. IEEE Trans Syst Man Cybern Part C (Appl Rev). 2011;42(4):437\u2013462.","journal-title":"IEEE Trans Syst Man Cybern Part C (Appl Rev)"},{"key":"e_1_3_2_7_1","unstructured":"N. Corporation. NVIDIA CUDA Compute Unified Device architecture 1.0. NVIDIA Corporation Jun. 2007 version 1.0."},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10559-006-0044-0"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.25088\/ComplexSystems.26.4.341"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10559-010-9189-y"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626423500068"},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911486"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"e_1_3_2_14_1","unstructured":"LAAS\/CNRS. Time petri net analyzer 2024 July 16. Available from: https:\/\/projects.laas.fr\/tina\/index.php."},{"key":"e_1_3_2_15_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9946.001.0001"},{"key":"e_1_3_2_16_1","unstructured":"Groote JF Keiren JJA Laveaux M et al. mCRL2: Analysing System Behaviour TU\/e [Online] 2024. Available from: https:\/\/www.mcrl2.org\/."},{"key":"e_1_3_2_17_1","volume-title":"The unified modeling language user guide","author":"Booch G","year":"2005","unstructured":"Booch G, Rumbaugh J, Jacobson I. The unified modeling language user guide. Boston: Addison-Wesley; 2005."},{"key":"e_1_3_2_18_1","unstructured":"CUDA Petri Net Toolkit. Available from: https:\/\/github.com\/zhaolongzhang995\/CUDA-PetriNet-Toolkit."},{"key":"e_1_3_2_19_1","doi-asserted-by":"crossref","unstructured":"Papakonstantinou A Gururaj K Stratton JA et al. FCUDA: enabling efficient compilation of CUDA kernels onto FPGAs. In: 2009 IEEE 7th Symposium on Application Specific Processors. San Francisco CA: IEEE; 2009. p. 35\u201342.","DOI":"10.1109\/SASP.2009.5226333"},{"key":"e_1_3_2_20_1","unstructured":"CUDA C++ Programming Guide. Available from: https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/."},{"key":"e_1_3_2_21_1","unstructured":"Goldstein HH von Neumann J. Planning and Coding Problems for an Electronic Computing Instrument part II. In: von Neumann Collected Works. Vol. V. New York: McMillan; 1947. p. 80\u2013151."},{"issue":"3","key":"e_1_3_2_22_1","first-page":"142","article-title":"Visual syntax of the DRAGON language","volume":"21","author":"Parondzhanov VD.","year":"1995","unstructured":"Parondzhanov VD. Visual syntax of the DRAGON language. Program Comput Softw. 1995;21(3):142\u2013153.","journal-title":"Program Comput Softw"},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02943551"},{"key":"e_1_3_2_24_1","volume-title":"Process charts","author":"Gilbreth FB","year":"1921","unstructured":"Gilbreth FB, Gilbreth LM. Process charts. New York: American Society Of Mechanical Engineers; 1921. Available from: https:\/\/lccn.loc.gov\/ca22000471."},{"key":"e_1_3_2_25_1","unstructured":"Petri CA. Kommunication mit automaten technischen hoschule darmstadt [Ph.D. thesis]. 1962."},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/1.1.2"},{"key":"e_1_3_2_27_1","first-page":"39","article-title":"On the equivalence and transformation of program schemes","volume":"113","author":"Ianov II.","year":"1957","unstructured":"Ianov II. On the equivalence and transformation of program schemes. Dokl A N USSR. 1957;113:39\u201342. Trans. Comm. ACM I(10) (Oct. 1958) 8\u201312.","journal-title":"Dokl A N USSR"},{"key":"e_1_3_2_28_1","first-page":"283","article-title":"On matrix program schemes","volume":"118","author":"Ianov II.","year":"1957","unstructured":"Ianov II. On matrix program schemes. Dokl A N USSR. 1957;118:283\u2013286. Trans, Comm. ACM 1 (12) (1958), 3\u20136.","journal-title":"Dokl A N USSR"},{"key":"e_1_3_2_29_1","unstructured":"Sousa TB. Dataflow programming: concept languages and applications. Doctoral Symposium on Informatics Engineering University of Porto; 2012."},{"key":"e_1_3_2_30_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342017701278"},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2021.1991340"},{"key":"e_1_3_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2022.11.098"},{"key":"e_1_3_2_33_1","volume-title":"Understanding Petri nets","author":"Reisig W.","year":"2016","unstructured":"Reisig W. Understanding Petri nets. Berlin Heidelberg: Springer; 2016."},{"key":"e_1_3_2_34_1","unstructured":"Kordon F Bouvier P Garavel H et\u00a0al. Complete results for the 2023 edition of the model checking contest 2023. Available from: https:\/\/mcc.lip6.fr\/2023\/results.php (visited on 2023)."},{"key":"e_1_3_2_35_1","first-page":"6616","article-title":"Practical hash functions for similarity estimation and dimensionality reduction","volume":"30","author":"Dahlgaard S","year":"2017","unstructured":"Dahlgaard S, Knudsen M, Thorup M. Practical hash functions for similarity estimation and dimensionality reduction. Adv Neural Inf Process Syst. 2017;30:6616\u20136627.","journal-title":"Adv Neural Inf Process Syst"},{"key":"e_1_3_2_36_1","doi-asserted-by":"crossref","unstructured":"Birler A Schmidt T Fent P et al. Simple efficient and Robust Hash tables for join processing. In: Proceedings of the 20th International Workshop on Data Management on New Hardware Santiago AA. Santiago: Chile; 2024.","DOI":"10.1145\/3662010.3663442"},{"key":"e_1_3_2_37_1","doi-asserted-by":"crossref","unstructured":"Pereira F Moutinho F Gomes L et al. IOPT petri net state space generation algorithm with maximalstep execution semantics. In: 2011 9th IEEE International Conference on Industrial Informatics. Lisbon: IEEE; 2011. p. 789\u2013795.","DOI":"10.1109\/INDIN.2011.6034958"},{"key":"e_1_3_2_38_1","unstructured":"Appleby A. Murmurhash3 2011. Available from: https:\/\/github.com\/aappleby\/smhasher."},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(99)00073-3"}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760.2024.2431545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T02:03:37Z","timestamp":1742868217000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2024.2431545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,22]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,3,4]]}},"alternative-id":["10.1080\/17445760.2024.2431545"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2024.2431545","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"type":"print","value":"1744-5760"},{"type":"electronic","value":"1744-5779"}],"subject":[],"published":{"date-parts":[[2024,11,22]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2024-11-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-15","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}