{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T23:39:58Z","timestamp":1747179598332,"version":"3.40.5"},"reference-count":20,"publisher":"Informa UK Limited","issue":"6","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2021,11,2]]},"DOI":"10.1080\/17445760.2021.1955113","type":"journal-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T10:25:18Z","timestamp":1627035918000},"page":"549-564","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":1,"title":["Parallel algorithm development and testing using Petri-object simulation"],"prefix":"10.1080","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4601-0058","authenticated-orcid":false,"given":"Inna V.","family":"Stetsenko","sequence":"first","affiliation":[{"name":"Department of Informatics and Software Engineering, Igor Sikorsky Kyiv Polytechnic Institute, Kyiv, Ukraine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6524-6410","authenticated-orcid":false,"given":"Alexander A.","family":"Pavlov","sequence":"additional","affiliation":[{"name":"Department of Informatics and Software Engineering, Igor Sikorsky Kyiv Polytechnic Institute, Kyiv, Ukraine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5477-4533","authenticated-orcid":false,"given":"Oleksandra","family":"Dyfuchyna","sequence":"additional","affiliation":[{"name":"Department of Informatics and Software Engineering, Igor Sikorsky Kyiv Polytechnic Institute, Kyiv, Ukraine"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"CIT0001","unstructured":"Lea D. Concurrent programming in Java: design principles and patterns. 2nd ed. Boston (MA): Addison Wesley; 1999; p. 422."},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-1129-7"},{"key":"CIT0003","unstructured":"Praun C. Detecting synchronization defects in multi-threaded object-oriented programs [PhD thesis]. Zurich: Swiss Federal Institute of Technology; 2004."},{"key":"CIT0004","unstructured":"Owe O, Yu IC. Deadlock detection of active objects with synchronous and asynchronous method calls. Norsk informatikkonferanse (NIK) OPJ\/PKP; Halden, Norway; 2014."},{"key":"CIT0005","unstructured":"Software Verify LTD. Smarter tools for better software [cited 2018 Nov 6]. https:\/\/www.softwareverify.com\/thread-analysis-deadlock-detection.php"},{"key":"CIT0006","unstructured":"Chen Z, Dinan J, Tang Z, et al. MC-checker: detecting memory consistency errors in MPI One-sided applications. In: SC14: Institute of Electrical."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019917329895"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.2991\/jrnal.2014.1.3.8"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0139-x"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2698640"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90003-6"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51831-8_22"},{"key":"CIT0013","unstructured":"ISO\/IEC 15909-1:2004. Systems and software engineering \u2013 high-level Petri nets \u2013 part 1: concepts, definitions and graphical notation [cited 2021 Feb 14]. https:\/\/www.iso.org\/standard\/38225.html."},{"key":"CIT0014","unstructured":"Jenkov.com. Jenkov J. Java concurrency [cited 2021 Mar 22]. http:\/\/tutorials.jenkov.com\/java-concurrency\/costs.html."},{"key":"CIT0015","first-page":"16","volume-title":"Encyclopedia of parallel computing","author":"Gustafson JL.","year":"2011"},{"key":"CIT0016","first-page":"51","volume":"1","author":"Stetsenko IV","year":"2020","journal-title":"Inf Comput Intell Syst"},{"key":"CIT0017","first-page":"136","volume":"4","author":"Stetsenko IV.","year":"2011","journal-title":"Math Mach Syst"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91008-6_39"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1177\/1687814016640159"},{"key":"CIT0020","unstructured":"The Java tutorials. Lesson: concurrency [cited 2017 Nov 24]. https:\/\/docs.oracle.com\/javase\/tutorial\/essential\/concurrency\/index.html."}],"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.2021.1955113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,14]],"date-time":"2021-10-14T04:15:12Z","timestamp":1634184912000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2021.1955113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,23]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,11,2]]}},"alternative-id":["10.1080\/17445760.2021.1955113"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2021.1955113","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"type":"print","value":"1744-5760"},{"type":"electronic","value":"1744-5779"}],"subject":[],"published":{"date-parts":[[2021,7,23]]},"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":"2021-03-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-07-09","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-07-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}