{"title":"大型随机Petri网性能评价的分而治之方法","authors":"J. Freiheit, A. Zimmermann","doi":"10.1109/PNPM.2001.953359","DOIUrl":null,"url":null,"abstract":"State-space explosion is one of the main problems in the area of the performance evaluation of Petri net models. This problem prevents the exact numerical analysis of complex real-life systems. To overcome the limitation of state spaces that are too large, many methods have been proposed in which the whole system is divided into small analysable parts. This paper presents one of these so-called decomposition methods. In contrast to known decomposition methods, the whole model is decomposed automatically in the presented approach. Afterwards, the submodels are aggregated. The paper presents a new iterative aggregation method called MIMO (multiple input, multiple output) graph-based aggregation. In a third step, an iterative analysis is used to compute performance measures using iterative response-time approximation. The method is explained by applying it to an example. It is integrated in the TimeNET modelling and analysis tool for stochastic Petri nets.","PeriodicalId":364695,"journal":{"name":"Proceedings 9th International Workshop on Petri Nets and Performance Models","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2001-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"A divide and conquer approach for the performance evaluation of large stochastic Petri nets\",\"authors\":\"J. Freiheit, A. Zimmermann\",\"doi\":\"10.1109/PNPM.2001.953359\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"State-space explosion is one of the main problems in the area of the performance evaluation of Petri net models. This problem prevents the exact numerical analysis of complex real-life systems. To overcome the limitation of state spaces that are too large, many methods have been proposed in which the whole system is divided into small analysable parts. This paper presents one of these so-called decomposition methods. In contrast to known decomposition methods, the whole model is decomposed automatically in the presented approach. Afterwards, the submodels are aggregated. The paper presents a new iterative aggregation method called MIMO (multiple input, multiple output) graph-based aggregation. In a third step, an iterative analysis is used to compute performance measures using iterative response-time approximation. The method is explained by applying it to an example. It is integrated in the TimeNET modelling and analysis tool for stochastic Petri nets.\",\"PeriodicalId\":364695,\"journal\":{\"name\":\"Proceedings 9th International Workshop on Petri Nets and Performance Models\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 9th International Workshop on Petri Nets and Performance Models\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.2001.953359\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 9th International Workshop on Petri Nets and Performance Models","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.2001.953359","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A divide and conquer approach for the performance evaluation of large stochastic Petri nets
State-space explosion is one of the main problems in the area of the performance evaluation of Petri net models. This problem prevents the exact numerical analysis of complex real-life systems. To overcome the limitation of state spaces that are too large, many methods have been proposed in which the whole system is divided into small analysable parts. This paper presents one of these so-called decomposition methods. In contrast to known decomposition methods, the whole model is decomposed automatically in the presented approach. Afterwards, the submodels are aggregated. The paper presents a new iterative aggregation method called MIMO (multiple input, multiple output) graph-based aggregation. In a third step, an iterative analysis is used to compute performance measures using iterative response-time approximation. The method is explained by applying it to an example. It is integrated in the TimeNET modelling and analysis tool for stochastic Petri nets.