论扩展时间Petri网模型在交际活动分析中的适用性

Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89 Pub Date : 1989-12-11 DOI:10.1109/PNPM.1989.68556

G. Juanole, J. L. Roux

{"title":"论扩展时间Petri网模型在交际活动分析中的适用性","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":"{\"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}","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

摘要

证明了扩展时Petri网的建模能力。它的显著特征是每次转换都有一个对应的发射间隔，概率密度函数分布在发射间隔上，并且可以考虑任何一种概率密度函数。该模型允许进行定性分析(考虑时间限制)和定量分析。特别考虑了单向数据传输协议的建模(例如在class 0传输协议中使用的协议)。该协议的Petri网模型具有无界可达树，不能用任何不同类型的随机Petri网进行分析，因为这些模型都是基于底层的PN模型，其可达树必须是有界的

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

查看原文本刊更多论文

On the pertinence of the extended time Petri net model for analyzing communication activities

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.<>

求助全文

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

来源期刊

Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89

自引率

0.00%

发文量