{"title":"Pattern-type Reachability Analysis of Distributed Systems Based on Fractal Petri Nets","authors":"A. Semenov","doi":"10.1109/CoDIT.2018.8394880","DOIUrl":null,"url":null,"abstract":"This paper presents a Pattern-type Reachability Analysis of distributed systems modelled by Fractal Petri Nets. We define Fractal Petri Nets as a net which is dynamically synthesized from self-similar Place/Transition subnets on the base of algebraic operations. Fractal Petri nets are considered as distributed. This means, that every self-similar subnet can be considered autonomously. Resources can be shared between subnets of Fractal net. For purpose of modelling shared resources the operation of overlapping places of the subnets is introduced. To investigate dynamic properties of Fractal Petri Nets a Pattern-type Reachability Analysis is developed. It is helpful for understandability and readability of complicated reachability trees.","PeriodicalId":128011,"journal":{"name":"2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CoDIT.2018.8394880","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
Abstract
This paper presents a Pattern-type Reachability Analysis of distributed systems modelled by Fractal Petri Nets. We define Fractal Petri Nets as a net which is dynamically synthesized from self-similar Place/Transition subnets on the base of algebraic operations. Fractal Petri nets are considered as distributed. This means, that every self-similar subnet can be considered autonomously. Resources can be shared between subnets of Fractal net. For purpose of modelling shared resources the operation of overlapping places of the subnets is introduced. To investigate dynamic properties of Fractal Petri Nets a Pattern-type Reachability Analysis is developed. It is helpful for understandability and readability of complicated reachability trees.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
