{"title":"彩色Petri网网络算法的验证与性能分析","authors":"H. Clausen, P. R. Jensen","doi":"10.1109/PNPM.1993.393443","DOIUrl":null,"url":null,"abstract":"Different usage parameter control (UPC) algorithms for high-speed asynchronous transfer mode (ATM) networks are studied. The purpose of the UPC algorithms is to prevent congestion in the network by monitoring input traffic and marking the excess traffic. Four UPC algorithms are modeled by means of hierarchical colored Petri nets with time. The purpose of the model is validation and performance analysis of the algorithms. The behavior of each algorithm is investigated when confronted with different kinds of traffic sources, e.g., video or videophony. The investigations determine the triggered jumping window algorithm to be the most suitable for a majority of traffic types. The use of colored Petri nets as a modeling and simulation language is discussed.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"19","resultStr":"{\"title\":\"Validation and performance analysis of network algorithms by coloured Petri nets\",\"authors\":\"H. Clausen, P. R. Jensen\",\"doi\":\"10.1109/PNPM.1993.393443\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Different usage parameter control (UPC) algorithms for high-speed asynchronous transfer mode (ATM) networks are studied. The purpose of the UPC algorithms is to prevent congestion in the network by monitoring input traffic and marking the excess traffic. Four UPC algorithms are modeled by means of hierarchical colored Petri nets with time. The purpose of the model is validation and performance analysis of the algorithms. The behavior of each algorithm is investigated when confronted with different kinds of traffic sources, e.g., video or videophony. The investigations determine the triggered jumping window algorithm to be the most suitable for a majority of traffic types. The use of colored Petri nets as a modeling and simulation language is discussed.<<ETX>>\",\"PeriodicalId\":404832,\"journal\":{\"name\":\"Proceedings of 5th International Workshop on Petri Nets and Performance Models\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-10-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"19\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 5th International Workshop on Petri Nets and Performance Models\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.1993.393443\",\"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 5th International Workshop on Petri Nets and Performance Models","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1993.393443","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Validation and performance analysis of network algorithms by coloured Petri nets
Different usage parameter control (UPC) algorithms for high-speed asynchronous transfer mode (ATM) networks are studied. The purpose of the UPC algorithms is to prevent congestion in the network by monitoring input traffic and marking the excess traffic. Four UPC algorithms are modeled by means of hierarchical colored Petri nets with time. The purpose of the model is validation and performance analysis of the algorithms. The behavior of each algorithm is investigated when confronted with different kinds of traffic sources, e.g., video or videophony. The investigations determine the triggered jumping window algorithm to be the most suitable for a majority of traffic types. The use of colored Petri nets as a modeling and simulation language is discussed.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
