{"id":"https://openalex.org/W2012979560","doi":"https://doi.org/10.1134/s0361768814050089","title":"Performance analysis of concurrent systems in algebra dtsiPBC","display_name":"Performance analysis of concurrent systems in algebra dtsiPBC","publication_year":2014,"publication_date":"2014-09-01","ids":{"openalex":"https://openalex.org/W2012979560","doi":"https://doi.org/10.1134/s0361768814050089","mag":"2012979560"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768814050089","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768814050089","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064850266","display_name":"Igor V. Tarasyuk","orcid":"https://orcid.org/0000-0002-2047-1921"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"I. V. Tarasyuk","raw_affiliation_strings":["A. P. Ershov Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, pr. akademika Lavrent\u2019eva 6, Novosibirsk, 630090, Russia","A. P. Ershov Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, Novosibirsk, Russia 630090"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, pr. akademika Lavrent\u2019eva 6, Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, Novosibirsk, Russia 630090","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015169894","display_name":"Hermenegilda Maci\u00e0","orcid":"https://orcid.org/0000-0003-1462-5274"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"H. Maci\u00e0","raw_affiliation_strings":["A. P. Ershov Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, Novosibirsk, Russia 630090"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, Novosibirsk, Russia 630090","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025160204","display_name":"Valent\u00edn Valero","orcid":"https://orcid.org/0000-0003-3462-7656"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"V. Valero","raw_affiliation_strings":["High School of Information Engineering, University of Castilla-La Mancha, Avda. de Espa\u00f1a s/n, 02071, Albacete, Spain","High School of Information Engineering, University of Castilla-La Mancha, Albacete, Spain 02071#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"High School of Information Engineering, University of Castilla-La Mancha, Avda. de Espa\u00f1a s/n, 02071, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"High School of Information Engineering, University of Castilla-La Mancha, Albacete, Spain 02071#TAB#","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064850266"],"corresponding_institution_ids":["https://openalex.org/I1313323035"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.08607453,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"40","issue":"5","first_page":"229","last_page":"249"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7850732803344727},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7278130054473877},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7104045152664185},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6841108798980713},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6143429279327393},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5768387913703918},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5529544353485107},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5296266674995422},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.5151506662368774},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.47846341133117676},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4730205535888672},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36459794640541077},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3224226236343384},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3085201680660248},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26347485184669495},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1262539029121399},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07768672704696655},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.059304893016815186}],"concepts":[{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7850732803344727},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7278130054473877},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7104045152664185},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6841108798980713},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6143429279327393},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5768387913703918},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5529544353485107},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5296266674995422},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.5151506662368774},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.47846341133117676},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4730205535888672},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36459794640541077},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3224226236343384},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3085201680660248},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26347485184669495},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1262539029121399},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07768672704696655},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.059304893016815186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768814050089","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768814050089","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1535192306","https://openalex.org/W1554783694","https://openalex.org/W1565525547","https://openalex.org/W1569416121","https://openalex.org/W1576138800","https://openalex.org/W1580573119","https://openalex.org/W1604240241","https://openalex.org/W1992071167","https://openalex.org/W2021089599","https://openalex.org/W2024858150","https://openalex.org/W2071478992","https://openalex.org/W2083099459","https://openalex.org/W2098981343","https://openalex.org/W2109142454","https://openalex.org/W2115725487","https://openalex.org/W2116509046","https://openalex.org/W2123610695","https://openalex.org/W2133164797","https://openalex.org/W2135657750","https://openalex.org/W2163294376","https://openalex.org/W2167302242","https://openalex.org/W2337375804","https://openalex.org/W2500639193","https://openalex.org/W2570431316","https://openalex.org/W2799087070","https://openalex.org/W3000511677","https://openalex.org/W4206542816","https://openalex.org/W4285719527","https://openalex.org/W4405648288"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1491709828","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W1980200158","https://openalex.org/W1513546254","https://openalex.org/W2148229336","https://openalex.org/W2091203523","https://openalex.org/W2125164140"],"abstract_inverted_index":{"Petri":[0,13],"box":[1],"calculus":[2],"PBC":[3,22,40],"is":[4,31,42,68,74,104],"a":[5,12],"well-known":[6],"algebra":[7],"of":[8,21,61,83,92],"concurrent":[9,48],"processes":[10],"with":[11,23,52,89],"net":[14],"semantics.":[15],"In":[16],"the":[17,59,62,71,79,84,90,93,100],"paper,":[18],"an":[19],"extension":[20],"discrete":[24,35,95],"stochastic":[25,37,64],"time":[26,36,54,96],"and":[27,38,49,99],"immediate":[28,39],"multiactions,":[29],"which":[30],"referred":[32],"to":[33],"as":[34],"(dtsiPBC),":[41],"considered.":[43],"Performance":[44],"analysis":[45,102],"methods":[46],"for":[47],"distributed":[50],"systems":[51],"random":[53],"delays":[55],"are":[56],"investigated":[57],"in":[58],"framework":[60],"new":[63],"process":[65],"algebra.":[66],"It":[67],"demonstrated":[69],"that":[70],"performance":[72],"evaluation":[73],"possible":[75],"not":[76],"only":[77],"via":[78],"underlying":[80,94],"semi-Markov":[81],"chains":[82],"dtsiPBC":[85],"expressions":[86],"but":[87],"also":[88],"use":[91],"Markov":[97],"chains,":[98],"latter":[101],"technique":[103],"more":[105],"optimal.":[106]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}