{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:39:00Z","timestamp":1775014740537,"version":"3.50.1"},"reference-count":27,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1134\/s0361768814050089","type":"journal-article","created":{"date-parts":[[2014,9,20]],"date-time":"2014-09-20T17:09:49Z","timestamp":1411232989000},"page":"229-249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Performance analysis of concurrent systems in algebra dtsiPBC"],"prefix":"10.1134","volume":"40","author":[{"given":"I. V.","family":"Tarasyuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Maci\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2014,9,21]]},"reference":[{"key":"6224_CR1","first-page":"71","volume-title":"Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM\u201994)","author":"H Hermanns","year":"1994","unstructured":"Hermanns, H. and Rettelbach, M., Syntax, semantics, equivalences and axioms for MTIPP, Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM\u201994), Regensberg, 1994, pp. 71\u201388."},{"key":"6224_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J., A Compositional Approach to Performance Modelling, Cambridge (UK): Cambridge Univ. Press, UK, 1996."},{"key":"6224_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M Bernardo","year":"1998","unstructured":"Bernardo, M. and Gorrieri, R., A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time, Theor. Comput. Sci., 1998, vol. 202, pp. 1\u201354.","journal-title":"Theor. Comput. Sci."},{"key":"6224_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume":"609","author":"E Best","year":"1992","unstructured":"Best, E., Devillers, R., and Hall, J.G., The box calculus: a new causal algebra with multi-label communication, Lect. Notes Comp. Sci., 1992, vol. 609. pp. 21\u201369.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6224_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-60029-9_29","volume":"935","author":"E Best","year":"1995","unstructured":"Best, E. and Koutny, M., A refined view of the box algebra, Lect. Notes Comp. Sci., 1995, vol. 935, pp. 1\u201320.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6224_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri Net Algebra","author":"E Best","year":"2001","unstructured":"Best, E., Devillers, R., and Koutny, M., Petri Net Algebra, EATCS Monographs on Theoretical Comp. Sci., Springer, 2001."},{"key":"6224_CR7","volume-title":"Communication and Concurrency","author":"RAJ Milner","year":"1989","unstructured":"Milner, R.A.J., Communication and Concurrency, Upper Saddle River, NJ: Prentice-Hall, 1989."},{"key":"6224_CR8","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1109\/PNPM.2001.953370","volume-title":"Proc. of the 9th IEEE Int. Workshop on Petri Nets and Performance Models (PNPM\u201901)","author":"H Maci\u00e0","year":"2001","unstructured":"Maci\u00e0, H., Valero, V., and de Frutos, D., sPBC: a Markovian extension of finite Petri box calculus, Proc. of the 9th IEEE Int. Workshop on Petri Nets and Performance Models (PNPM\u201901), Aachen: IEEE Comput. Society, 2001. pp. 207\u2013216."},{"key":"6224_CR9","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-30232-2_19","volume":"3235","author":"H Maci\u00e0","year":"2004","unstructured":"Maci\u00e0, H., Valero, V., Cazorla, D., and Cuartero, F., Introducing the iteration in sPBC, Lect. Notes Comp. Sci., 2004, vol. 3235, pp. 292\u2013308.","journal-title":"Lect. Notes Comp. Sci."},{"issue":"s.3\u20134","key":"6224_CR10","doi-asserted-by":"crossref","first-page":"367","DOI":"10.3233\/FUN-2008-873-405","volume":"87","author":"H Maci\u00e0","year":"2008","unstructured":"Maci\u00e0, H., Valero, V., Cuartero, F., and Ruiz, M.C., sPBC: a Markovian extension of Petri box calculus with immediate multiactions, Fundamenta Informaticae, 2008, vol. 87, nos. 3\u20134, pp. 367\u2013406.","journal-title":"Fundamenta Informaticae"},{"key":"6224_CR11","volume-title":"Discrete time stochastic Petri box calculus","author":"IV Tarasyuk","year":"2005","unstructured":"Tarasyuk, I.V., Discrete time stochastic Petri box calculus. Oldenburg, Germany, 2005 (Berichte aus dem Department f\u00fcr Informatik. Carl von Ossietzky Univ. Oldenburg. no. 3\/05)."},{"issue":"s.1\u20132","key":"6224_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.3233\/FUN-2007-761-212","volume":"76","author":"IV Tarasyuk","year":"2007","unstructured":"Tarasyuk, I.V., Stochastic Petri box calculus with discrete time, Fundamenta Informaticae, 2007, vol. 76, nos. 1\u20132, pp. 189\u2013218.","journal-title":"Fundamenta Informaticae"},{"key":"6224_CR13","first-page":"129","volume":"24","author":"IV Tarasyuk","year":"2006","unstructured":"Tarasyuk, I.V., Iteration in discrete time stochastic Petri box calculus, Bulletin of the Novosibirsk Computing Center, Series Comp. Sci., IIS Special Issue, 2006, vol. 24, pp. 129\u2013148.","journal-title":"Bulletin of the Novosibirsk Computing Center, Series Comp. Sci., IIS Special Issue"},{"key":"6224_CR14","unstructured":"Tarasyuk, I.V., Maci\u00e0, H., and Valero, V., Discrete time stochastic Petri box calculus with immediate multi-actions, Technical Report, Department of Computer Systems, High School of Information Engineering, Univ. of Castilla-La Mancha. no. DIAB-10-03-1."},{"key":"6224_CR15","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.entcs.2013.07.015","volume":"296","author":"IV Tarasyuk","year":"2013","unstructured":"Tarasyuk, I.V., Maci\u00e0, H., Valero, V., Discrete time stochastic Petri box calculus with immediate multiactions dtsiPBC, in Electronic Notes in Theoretical Computer Science, Elsevier, 2013, vol. 296, pp. 229\u2013252.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"6224_CR16","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1985.232230","volume":"11","author":"MK Molloy","year":"1985","unstructured":"Molloy, M.K., Discrete time stochastic Petri nets, IEEE Trans. Software Eng., 1985, vol. 11, no. 4. pp. 417\u2013423.","journal-title":"IEEE Trans. Software Eng."},{"key":"6224_CR17","volume-title":"Stochastic Processes","author":"SM Ross","year":"1996","unstructured":"Ross, S.M., Stochastic Processes, New York: Wiley, 1996."},{"key":"6224_CR18","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-44804-7_9","volume":"2165","author":"M Bernardo","year":"2001","unstructured":"Bernardo, M. and Bravetti, M., Reward based congruences: can we aggregate more?, Lect. Notes Comp. Sci., 2001, vol. 2165, pp. 136\u2013151.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6224_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-72522-0_3","volume":"4486","author":"G Balbo","year":"2007","unstructured":"Balbo, G., Introduction to generalized stochastic Petri nets, Lect. Notes Comp. Sci., 2007, vol. 4486. pp. 83\u2013131.","journal-title":"Lect. Notes Comp. Sci."},{"issue":"1","key":"6224_CR20","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"RJ van Glabbeek","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., and Steffen, B., Reactive, generative, and stratified models of probabilistic processes, Information Computation, 1995, vol. 121, no. 1, pp. 59\u201380.","journal-title":"Information Computation"},{"key":"6224_CR21","first-page":"282","volume-title":"Proc. of the 9th Int. Workshop on Parallel and Distributed Real Time Systems (WPDRTS\u201901)","author":"A Zimmermann","year":"2001","unstructured":"Zimmermann, A., Freiheit, J., and Hommel, G., Discrete time stochastic Petri nets for modeling and evaluation of real-time systems, Proc. of the 9th Int. Workshop on Parallel and Distributed Real Time Systems (WPDRTS\u201901), San Francisco, 2001, pp. 282\u2013286."},{"key":"6224_CR22","first-page":"103","volume-title":"Proc. of the 9th ITG\/GI Professional Meeting \u201cMessung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen\u201d","author":"R Zijal","year":"1997","unstructured":"Zijal, R., Ciardo, G., and Hommel, G., Discrete deterministic and stochastic Petri nets, Proc. of the 9th ITG\/GI Professional Meeting \u201cMessung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen\u201d(MMB\u201997), VDE-Verlag, Berlin, 1997, pp. 103\u2013117."},{"key":"6224_CR23","first-page":"31","volume":"15","author":"P Buchholz","year":"2001","unstructured":"Buchholz P. and Tarasyuk, I.V., Net and algebraic approaches to probabilistic modeling, Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Comp. Sci., Novosibirsk, 2001, vol. 15, pp. 31\u201364.","journal-title":"Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Comp. Sci."},{"key":"6224_CR24","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-44667-2_2","volume":"2090","author":"BR Haverkort","year":"2001","unstructured":"Haverkort, B.R., Markovian models for performance and dependability evaluation, Lect. Notes Comp. Sci., 2001, vol. 2090, pp. 38\u201383.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6224_CR25","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume":"715","author":"RJ van Glabbeek","year":"1993","unstructured":"van Glabbeek, R.J., The linear time \u2014 branching time spectrum II: the semantics of sequential systems with silent moves (extended abstract), Lect. Notes Comp. Sci., 1993, vol. 715, pp. 66\u201381.","journal-title":"Lect. Notes Comp. Sci."},{"issue":"10","key":"6224_CR26","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1109\/TC.1985.6312197","volume":"C-34","author":"TN Mudge","year":"1985","unstructured":"Mudge, T.N. and Al-Sadoun, H.B., A semi-Markov model for the performance of multiple-bus systems, IEEE Trans. Computers, 1985, vol. C-34, no. 10, pp. 934\u2013942.","journal-title":"IEEE Trans. Computers"},{"key":"6224_CR27","volume-title":"Quantitative and qualitative extensions of event structures","author":"J-P Katoen","year":"1996","unstructured":"Katoen, J.-P., Quantitative and qualitative extensions of event structures, Ph. D. Thesis, Enschede, The Netherlands, 1996, (CTIT Ph. D.-thesis series. Centre for Telematics and Information Technology, University of Twente, no. 96-09)."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050089.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768814050089","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050089.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:21:14Z","timestamp":1775010074000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768814050089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["6224"],"URL":"https:\/\/doi.org\/10.1134\/s0361768814050089","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"10 August 2013","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2014","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}