{"title":"GSPNs versus SPNs: what is the actual role of immediate transitions?","authors":"G. Chiola, S. Donatelli, G. Franceschinis","doi":"10.1109/PNPM.1991.238785","DOIUrl":null,"url":null,"abstract":"Stochastic Petri nets (SPNs) and generalized stochastic Petri nets (GSPNs) are compared in order to investigate the role of immediate transitions. The comparison is based on the ability of the two formalisms to define models that can be 'scalable' with respect to the initial marking. An intermediate model between (G)SPN structures and (G)SPN systems called 'family' is introduced as a reference for the comparison. It is shown that GSPN families exist that do not have SPN counter- parts. An algorithm is given to reduce GSPN to SPN families in the cases in which this is possible. The application of this structural reduction algorithm allows a more efficient generation of the state space of GSPN systems.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"44","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1991.238785","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 44
Abstract
Stochastic Petri nets (SPNs) and generalized stochastic Petri nets (GSPNs) are compared in order to investigate the role of immediate transitions. The comparison is based on the ability of the two formalisms to define models that can be 'scalable' with respect to the initial marking. An intermediate model between (G)SPN structures and (G)SPN systems called 'family' is introduced as a reference for the comparison. It is shown that GSPN families exist that do not have SPN counter- parts. An algorithm is given to reduce GSPN to SPN families in the cases in which this is possible. The application of this structural reduction algorithm allows a more efficient generation of the state space of GSPN systems.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
