{"id":"https://openalex.org/W2811255248","doi":"https://doi.org/10.1109/codit.2018.8394880","title":"Pattern-type Reachability Analysis of Distributed Systems Based on Fractal Petri Nets","display_name":"Pattern-type Reachability Analysis of Distributed Systems Based on Fractal Petri Nets","publication_year":2018,"publication_date":"2018-04-01","ids":{"openalex":"https://openalex.org/W2811255248","doi":"https://doi.org/10.1109/codit.2018.8394880","mag":"2811255248"},"language":"en","primary_location":{"id":"doi:10.1109/codit.2018.8394880","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2018.8394880","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5101647000","display_name":"Alexander Semenov","orcid":"https://orcid.org/0000-0002-8203-7258"},"institutions":[{"id":"https://openalex.org/I45571689","display_name":"Moscow Aviation Institute","ror":"https://ror.org/033zpbv42","country_code":"RU","type":"education","lineage":["https://openalex.org/I45571689"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Alexander Semenov","raw_affiliation_strings":["Dept. Computational Mathematics and Programming, Moscow Aviation Institute, MAI, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Computational Mathematics and Programming, Moscow Aviation Institute, MAI, Moscow, Russia","institution_ids":["https://openalex.org/I45571689"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5101647000"],"corresponding_institution_ids":["https://openalex.org/I45571689"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"346","last_page":"351"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/subnet","display_name":"Subnet","score":0.959087610244751},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9392210245132446},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9378364086151123},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7409332990646362},{"id":"https://openalex.org/keywords/fractal","display_name":"Fractal","score":0.6753902435302734},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6642232537269592},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5078719258308411},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49015483260154724},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4730236530303955},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.41551458835601807},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23915529251098633},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.07132327556610107}],"concepts":[{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.959087610244751},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9392210245132446},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9378364086151123},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7409332990646362},{"id":"https://openalex.org/C40636538","wikidata":"https://www.wikidata.org/wiki/Q81392","display_name":"Fractal","level":2,"score":0.6753902435302734},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6642232537269592},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5078719258308411},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49015483260154724},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4730236530303955},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.41551458835601807},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23915529251098633},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.07132327556610107},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/codit.2018.8394880","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2018.8394880","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W560220739","https://openalex.org/W1509422555","https://openalex.org/W1532908479","https://openalex.org/W1717100379","https://openalex.org/W2503470518"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W4238125051","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2353505923","https://openalex.org/W2092311420","https://openalex.org/W1531156418"],"abstract_inverted_index":{"This":[0,44],"paper":[1],"presents":[2],"a":[3,21,87],"Pattern-type":[4,88],"Reachability":[5,89],"Analysis":[6,90],"of":[7,34,60,65,71,74,83,100],"distributed":[8],"systems":[9],"modelled":[10],"by":[11],"Fractal":[12,17,37,61,84],"Petri":[13,18,38,85],"Nets.":[14],"We":[15],"define":[16],"Nets":[19,86],"as":[20,42],"net":[22],"which":[23],"is":[24,77,91,94],"dynamically":[25],"synthesized":[26],"from":[27],"self-similar":[28,48],"Place/Transition":[29],"subnets":[30,59,76],"on":[31],"the":[32,69,75],"base":[33],"algebraic":[35],"operations.":[36],"nets":[39],"are":[40],"considered":[41,52],"distributed.":[43],"means,":[45],"that":[46],"every":[47],"subnet":[49],"can":[50,55],"be":[51,56],"autonomously.":[53],"Resources":[54],"shared":[57,67],"between":[58],"net.":[62],"For":[63],"purpose":[64],"modelling":[66],"resources":[68],"operation":[70],"overlapping":[72],"places":[73],"introduced.":[78],"To":[79],"investigate":[80],"dynamic":[81],"properties":[82],"developed.":[92],"It":[93],"helpful":[95],"for":[96],"understandability":[97],"and":[98],"readability":[99],"complicated":[101],"reachability":[102],"trees.":[103]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}