{"title":"On the pertinence of the extended time Petri net model for analyzing communication activities","authors":"G. Juanole, J. L. Roux","doi":"10.1109/PNPM.1989.68556","DOIUrl":null,"url":null,"abstract":"The modeling power of the extended-time Petri net is shown. Among its salient features are that there is a firing interval associated with each transition, the probability density function is distributed over the firing interval, and any kind of probability density function can be considered. This model allows a qualitative analysis (considering time constraints) and a quantitative analysis. Particular consideration is given to the modeling of a one-way data transfer protocol (such as the one used in the class 0 transport protocol). This protocol, the Petri net model of which has an unbounded reachability tree, cannot be analyzed with any of the different types of stochastic Petri nets because these models are based on an underlying PN model, the reachability tree of which must be bounded.<<ETX>>","PeriodicalId":366060,"journal":{"name":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1989.68556","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 13
Abstract
The modeling power of the extended-time Petri net is shown. Among its salient features are that there is a firing interval associated with each transition, the probability density function is distributed over the firing interval, and any kind of probability density function can be considered. This model allows a qualitative analysis (considering time constraints) and a quantitative analysis. Particular consideration is given to the modeling of a one-way data transfer protocol (such as the one used in the class 0 transport protocol). This protocol, the Petri net model of which has an unbounded reachability tree, cannot be analyzed with any of the different types of stochastic Petri nets because these models are based on an underlying PN model, the reachability tree of which must be bounded.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
