{"id":"https://openalex.org/W2808640902","doi":"https://doi.org/10.1109/radioelek.2018.8376408","title":"Semantic Petri-Markov nets for automotive algorithms transformations","display_name":"Semantic Petri-Markov nets for automotive algorithms transformations","publication_year":2018,"publication_date":"2018-04-01","ids":{"openalex":"https://openalex.org/W2808640902","doi":"https://doi.org/10.1109/radioelek.2018.8376408","mag":"2808640902"},"language":"en","primary_location":{"id":"doi:10.1109/radioelek.2018.8376408","doi":"https://doi.org/10.1109/radioelek.2018.8376408","is_oa":false,"landing_page_url":"https://doi.org/10.1109/radioelek.2018.8376408","pdf_url":null,"source":{"id":"https://openalex.org/S4306419937","display_name":"International Conference Radioelektronika","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 28th International Conference Radioelektronika (RADIOELEKTRONIKA)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5086479436","display_name":"Alexey N. Ivutin","orcid":"https://orcid.org/0000-0003-2970-2148","observed_orcids":["https://orcid.org/0000-0003-2970-2148"]},"institutions":[{"id":"https://openalex.org/I127366699","display_name":"Tula State University","ror":"https://ror.org/05shr3z13","country_code":"RU","type":"education","lineage":["https://openalex.org/I127366699"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexey N. Ivutin","raw_affiliation_strings":["Department of Computer technology, Tula State University, Tula, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer technology, Tula State University, Tula, Russia","institution_ids":["https://openalex.org/I127366699"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110565406","display_name":"\u0422\u0440\u043e\u0448\u0438\u043d\u0430 \u0410\u043d\u043d\u0430 \u0413\u0435\u043d\u043d\u0430\u0434\u044c\u0435\u0432\u043d\u0430","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I127366699","display_name":"Tula State University","ror":"https://ror.org/05shr3z13","country_code":"RU","type":"education","lineage":["https://openalex.org/I127366699"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Anna G. Troshina","raw_affiliation_strings":["Department of Computer technology, Tula State University, Tula, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer technology, Tula State University, Tula, Russia","institution_ids":["https://openalex.org/I127366699"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I127366699"],"apc_list":null,"apc_paid":null,"fwci":1.8393,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84446728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.8817999958992004,"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.8817999958992004,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.06379999965429306,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.01810000091791153,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/stochastic-petri-nets","display_name":"stochastic Petri nets","score":0.9769999980926514},{"id":"https://openalex.org/keywords/automotive-software","display_name":"automotive software","score":0.4950000047683716},{"id":"https://openalex.org/keywords/automatic-code-transformation","display_name":"automatic code transformation","score":0.5759999752044678},{"id":"https://openalex.org/keywords/hardware-utilization","display_name":"hardware resource utilization","score":0.3100000023841858}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.852632999420166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8049443364143372},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7398211359977722},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6523473858833313},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5910176038742065},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.514544665813446},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.478375107049942},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.47113674879074097},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4601176083087921},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.42177486419677734},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.41238710284233093},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4028545618057251},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25185662508010864},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12106725573539734},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11536580324172974},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/radioelek.2018.8376408","doi":"https://doi.org/10.1109/radioelek.2018.8376408","is_oa":false,"landing_page_url":"https://doi.org/10.1109/radioelek.2018.8376408","pdf_url":null,"source":{"id":"https://openalex.org/S4306419937","display_name":"International Conference Radioelektronika","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 28th International Conference Radioelektronika (RADIOELEKTRONIKA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W52311198","https://openalex.org/W1519113483","https://openalex.org/W1524636479","https://openalex.org/W1993618539","https://openalex.org/W2001733898","https://openalex.org/W2003099669","https://openalex.org/W2020661271","https://openalex.org/W2061171222","https://openalex.org/W2086585255","https://openalex.org/W2108167744","https://openalex.org/W2112261349","https://openalex.org/W2270729083","https://openalex.org/W2519637596","https://openalex.org/W2580333603","https://openalex.org/W2735817425","https://openalex.org/W2883621125"],"related_works":["https://openalex.org/W2580333603","https://openalex.org/W2950828028","https://openalex.org/W2027518046","https://openalex.org/W1886011615","https://openalex.org/W6987852848","https://openalex.org/W7002146122","https://openalex.org/W3188374684","https://openalex.org/W7099113842","https://openalex.org/W85046242","https://openalex.org/W2121341217"],"abstract_inverted_index":{"The":[0,28,59,85],"approach":[1],"of":[2,17,33,64,82,100],"automatic":[3,94],"algorithms":[4],"transformation":[5,68,92],"into":[6,69,77],"concurrent":[7],"form":[8],"is":[9,12],"proposed.":[10],"One":[11],"based":[13,47],"on":[14,48],"mathematical":[15],"apparatus":[16],"stochastic":[18],"Petri":[19],"nets":[20],"with":[21,75],"additional":[22],"semantic":[23,50],"relations":[24,53],"(semantic":[25],"Petri-Markov":[26],"nets).":[27],"authors":[29],"propose":[30],"the":[31,35,39,49,57,62,65,79,90],"method":[32,87],"definition":[34],"independent":[36],"blocks":[37],"in":[38,45,56,93],"algorithm":[40,67,91],"that":[41],"can":[42],"be":[43],"executed":[44],"parallel":[46,71],"and":[51,73,96],"control":[52],"between":[54],"elements":[55],"algorithm.":[58],"article":[60],"describes":[61],"rules":[63],"sequential":[66],"strictly":[70],"implementation":[72,74],"taking":[76],"account":[78],"actual":[80],"number":[81],"executive":[83],"units.":[84],"proposed":[86],"allows":[88],"making":[89],"mode":[95],"could":[97],"escape":[98],"errors":[99],"half-automatic":[101],"or":[102],"manual":[103],"transformation.":[104]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2018-06-21T00:00:00"}