{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,7]],"date-time":"2026-06-07T04:48:52Z","timestamp":1780807732813,"version":"3.54.1"},"reference-count":59,"publisher":"Informa UK Limited","issue":"4","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,7,4]]},"DOI":"10.1080\/17445760.2025.2493128","type":"journal-article","created":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T04:54:26Z","timestamp":1745211266000},"page":"373-423","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":2,"title":["Performance analysis of the shared memory system in stochastic process algebra dtsdPBC"],"prefix":"10.1080","volume":"40","author":[{"given":"I. V.","family":"Tarasyuk","sequence":"first","affiliation":[{"name":"Siberian Branch of the Russian Academy of Sciences","place":["Novosibirsk, Russian Federation"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2025,4,21]]},"reference":[{"key":"e_1_3_2_2_1","volume-title":"Communicating sequential processes","author":"Hoare CAR.","year":"1985","unstructured":"Hoare CAR. Communicating sequential processes. London (UK): Prentice-Hall; 1985."},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"e_1_3_2_4_1","volume-title":"Communication and concurrency","author":"Milner RAJ.","year":"1989","unstructured":"Milner RAJ. Communication and concurrency. NJ: Prentice-Hall; 1989."},{"key":"e_1_3_2_5_1","unstructured":"Hermanns H Rettelbach M. Syntax semantics equivalences and axioms for MTIPP. In: Herzog U Rettelbach M editors. Proceeding of 2nd International Workshop on Process Algebra and Performance Modelling (PAPM) 1994; (Arbeitsberichte des IMMD; Vol. 27). Universit\u00e4t Erlangen-N\u00fcrnberg Germany; 1994. p. 71\u201388."},{"key":"e_1_3_2_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55610-9_167"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_29"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_18"},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"e_1_3_2_13_1","unstructured":"Marroqu\u0131n AO de Frutos ED. TPBC: timed Petri box calculus. Madrid Spain: Departamento de Sistemas Infofm\u00e1ticos y Programaci\u00f3n Universidad Complutense de Madrid; 2000. (Technical report. In Spanish)."},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45740-2_18"},{"key":"e_1_3_2_15_1","unstructured":"Ramchandani C. Perfomance evaluation of asynchronous concurrent systems by timed Petri nets [dissertation]. Cambridge USA: Massachusetts Institute of Technology; 1973."},{"key":"e_1_3_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31862-0_32"},{"key":"e_1_3_2_17_1","unstructured":"Niaouris A Koutny M. An algebra of timed-arc Petri nets. Newcastle upon Tyne UK: School of Computer Science University of Newcastle upon Tyne; 2005. (Technical Report CS-TR-895). Available from: http:\/\/www.cs.ncl.ac.uk\/publications\/trs\/papers\/895.pdf"},{"key":"e_1_3_2_18_1","unstructured":"Bolognesi T Lucidi F Trigila S. From timed Petri nets to timed LOTOS. In: Logrippo L Probert RL Ural H editors. Proceedings of the IFIP WG6.1 10th International Symposium on Protocol Specification Testing and Verification (PSTV) 1990. Elsevier Science Publishers (North-Holland) Amsterdam The Netherlands; 1990. p. 395\u2013408."},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_52"},{"key":"e_1_3_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953370"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_19"},{"key":"e_1_3_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0045-2"},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_23"},{"key":"e_1_3_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2_3"},{"key":"e_1_3_2_25_1","doi-asserted-by":"publisher","DOI":"10.3233\/FUN-2008-873-405"},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.18576\/amis\/100210"},{"key":"e_1_3_2_27_1","doi-asserted-by":"crossref","unstructured":"Balbo G. Introduction to generalized stochastic Petri nets. In: Bernardo M Hillston J editors. Formal methods for performance evaluation. Proceedings of the 7th International School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2007; (Lecture notes in computer science; Vol. 4486). Springer; 2007. p. 83\u2013131.","DOI":"10.1007\/978-3-540-72522-0_3"},{"key":"e_1_3_2_28_1","unstructured":"Tarasyuk IV. Discrete time stochastic Petri box calculus. Oldenburg Germany: Carl von Ossietzky Universit\u00e4t Oldenburg; 2005. Berichte aus dem Department f\u00fcr Informatik 3\/05. Available from: http:\/\/itar.iis.nsk.su\/files\/itar\/pages\/dtspbcib_cov.pdf"},{"key":"e_1_3_2_29_1","first-page":"129","article-title":"Iteration in discrete time stochastic Petri box calculus","volume":"24","author":"Tarasyuk IV.","year":"2006","unstructured":"Tarasyuk IV. Iteration in discrete time stochastic Petri box calculus. Bull Nov Comp Center, Comp Sci, IIS Special Issue. 2006;24:129\u2013148.","journal-title":"Bull Nov Comp Center, Comp Sci, IIS Special Issue"},{"key":"e_1_3_2_30_1","doi-asserted-by":"publisher","DOI":"10.3233\/FUN-2007-761-212"},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129513000029(e240103)"},{"key":"e_1_3_2_32_1","unstructured":"Molloy MK. On the integration of the throughput and delay measures in distributed processing models [dissertation]. Los Angeles (CA) USA: University of California; 1981."},{"key":"e_1_3_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232230"},{"key":"e_1_3_2_34_1","unstructured":"Tarasyuk IV Maci\u00e0 SH Valero RV. Discrete time stochastic Petri box calculus with immediate multiactions. Albacete Spain: Department of Computer Systems High School of Computer Science Engineering University of Castilla \u2013 La Mancha; 2010. (Technical Report DIAB-10-03-1)."},{"key":"e_1_3_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.07.015"},{"key":"e_1_3_2_36_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768814050089"},{"key":"e_1_3_2_37_1","first-page":"513","article-title":"Stochastic process reduction for performance evaluation in dtsiPBC","volume":"12","author":"Tarasyuk IV","year":"2015","unstructured":"Tarasyuk IV, Maci\u00e0 SH, Valero RV. Stochastic process reduction for performance evaluation in dtsiPBC. Sib Electron Math Rep. 2015;12:513\u2013551.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_2_38_1","first-page":"1743","article-title":"Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC","volume":"15","author":"Tarasyuk IV","year":"2018","unstructured":"Tarasyuk IV, Maci\u00e0 SH, Valero RV. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. Sib Electron Math Rep. 2018;15:1743\u20131812.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_2_39_1","volume-title":"Discrete time stochastic and deterministic Petri box calculus","author":"Tarasyuk IV.","year":"2019","unstructured":"Tarasyuk IV. Discrete time stochastic and deterministic Petri box calculus. Ithaca (NY): Computing Research Repository, Cornell University Library; 2019. Available from: CoRR abs\/1905.00456."},{"key":"e_1_3_2_40_1","first-page":"1598","article-title":"Discrete time stochastic and deterministic Petri box calculus dtsdPBC","volume":"17","author":"Tarasyuk IV.","year":"2020","unstructured":"Tarasyuk IV. Discrete time stochastic and deterministic Petri box calculus dtsdPBC. Sib Electron Math Rep. 2020;17:1598\u20131679.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_2_41_1","first-page":"1105","article-title":"Performance evaluation in stochastic process algebra dtsdPBC","volume":"18","author":"Tarasyuk IV.","year":"2021","unstructured":"Tarasyuk IV. Performance evaluation in stochastic process algebra dtsdPBC. Sib Electron Math Rep. 2021;18:1105\u20131145.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_2_42_1","first-page":"646","article-title":"Performance preserving equivalence for stochastic process algebra dtsdPBC","volume":"20","author":"Tarasyuk IV.","year":"2023","unstructured":"Tarasyuk IV. Performance preserving equivalence for stochastic process algebra dtsdPBC. Sib Electron Math Rep. 2023;20:646\u2013699.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_2_43_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2024.2417873"},{"key":"e_1_3_2_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033549"},{"key":"e_1_3_2_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0187-5_8"},{"key":"e_1_3_2_46_1","unstructured":"Zijal R. Analysis of discrete time deterministic and stochastic Petri nets [dissertation]. Berlin Germany: Technical University of Berlin; 1997."},{"key":"e_1_3_2_47_1","series-title":"Wiley series in parallel computing","volume-title":"Modelling with generalized stochastic Petri nets","author":"Marsan MA","year":"1995","unstructured":"Marsan MA, Balbo G, Conte G, et\u00a0al. Modelling with generalized stochastic Petri nets. John Wiley and Sons; 1995. (Wiley series in parallel computing)."},{"key":"e_1_3_2_48_1","doi-asserted-by":"publisher","DOI":"10.1111\/stan.2000.54.issue-2"},{"key":"e_1_3_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039071"},{"key":"e_1_3_2_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"e_1_3_2_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0"},{"key":"e_1_3_2_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.02.002"},{"key":"e_1_3_2_53_1","series-title":"Texts in statistical science","volume-title":"Modeling and analysis of stochastic systems","author":"Kulkarni VG.","year":"2010","unstructured":"Kulkarni VG. Modeling and analysis of stochastic systems. 2nd ed. Chapman and Hall\/CRC Press; 2010. (Texts in statistical science).","edition":"2"},{"key":"e_1_3_2_54_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119285441"},{"key":"e_1_3_2_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02667189"},{"key":"e_1_3_2_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_8"},{"key":"e_1_3_2_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73094-1_7"},{"key":"e_1_3_2_58_1","doi-asserted-by":"publisher","DOI":"10.1080\/13873954.2016.1277360"},{"key":"e_1_3_2_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_2"},{"key":"e_1_3_2_60_1","first-page":"1","article-title":"Computational modeling, formal analysis, and tools for systems biology","volume":"12","author":"Bartocci E","year":"2015","unstructured":"Bartocci E, Li\u00f3 P. Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol. 2015;12:1\u201322. (e1004591).","journal-title":"PLoS Comput Biol"}],"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.2025.2493128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T00:45:01Z","timestamp":1753836301000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2025.2493128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,21]]},"references-count":59,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,7,4]]}},"alternative-id":["10.1080\/17445760.2025.2493128"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2025.2493128","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"value":"1744-5760","type":"print"},{"value":"1744-5779","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,21]]},"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":"2025-03-24","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-09","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}