基于分形Petri网的分布式系统模式型可达性分析

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT) Pub Date : 2018-04-10 DOI:10.1109/CoDIT.2018.8394880

A. Semenov

{"title":"基于分形Petri网的分布式系统模式型可达性分析","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":"{\"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}","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

摘要

本文提出了一种基于分形Petri网的分布式系统模式型可达性分析方法。我们将分形Petri网定义为基于代数运算的自相似的Place/Transition子网动态合成的网络。分形Petri网被认为是分布式的。这意味着，每个自相似子网都可以被独立地考虑。分形网络的资源可以在子网之间共享。为了对共享资源进行建模，引入了子网重叠位置的操作。为了研究分形Petri网的动态特性，提出了一种模式型可达性分析方法。这有助于提高复杂可达树的可理解性和可读性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Pattern-type Reachability Analysis of Distributed Systems Based on Fractal Petri Nets

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)

自引率

0.00%

发文量