{"title":"Embedded processes in Generalized Stochastic Petri Nets","authors":"G. Balbo, S. C. Bruell, M. Sereno","doi":"10.1109/PNPM.2001.953357","DOIUrl":null,"url":null,"abstract":"We show that a particular class of Generalized Stochastic Petri Nets have stationary probabilities that exhibit a product form. Efficient solution algorithms can be developed for the computation of the performance indices of such Product-Form GSPNs. These algorithms avoid the generation of the underlying state space. Hence, large PF-GSPN models can now be effectively studied.","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":"5","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.953357","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
Abstract
We show that a particular class of Generalized Stochastic Petri Nets have stationary probabilities that exhibit a product form. Efficient solution algorithms can be developed for the computation of the performance indices of such Product-Form GSPNs. These algorithms avoid the generation of the underlying state space. Hence, large PF-GSPN models can now be effectively studied.