{"title":"具有规则结构的并行架构:使用随机良形彩色Petri网建模的案例研究","authors":"C. Anglano, S. Donatelli, R. Gaeta","doi":"10.1109/PNPM.1993.393448","DOIUrl":null,"url":null,"abstract":"It is shown how to study the latency of packets exchanged by MIMD distributed memory architectures with regular structures. To reach this goal, the single node, the architecture topology, the routing algorithm, and the flow control algorithm are modeled. Models have been built with the formalism of stochastic well-formed coloured Petri nets (SWNs) having in mind modularity. Different types of nodes, topology, routing, and flow control are modeled in isolation and are then intermixed to study different architectures. To achieved simplicity and modularity, SWNs are used to their full power, so that this work constitutes quite a complete example of modeling with SWNs.<<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":"5","resultStr":"{\"title\":\"Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets\",\"authors\":\"C. Anglano, S. Donatelli, R. Gaeta\",\"doi\":\"10.1109/PNPM.1993.393448\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is shown how to study the latency of packets exchanged by MIMD distributed memory architectures with regular structures. To reach this goal, the single node, the architecture topology, the routing algorithm, and the flow control algorithm are modeled. Models have been built with the formalism of stochastic well-formed coloured Petri nets (SWNs) having in mind modularity. Different types of nodes, topology, routing, and flow control are modeled in isolation and are then intermixed to study different architectures. To achieved simplicity and modularity, SWNs are used to their full power, so that this work constitutes quite a complete example of modeling with SWNs.<<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\":\"5\",\"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.393448\",\"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.393448","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets
It is shown how to study the latency of packets exchanged by MIMD distributed memory architectures with regular structures. To reach this goal, the single node, the architecture topology, the routing algorithm, and the flow control algorithm are modeled. Models have been built with the formalism of stochastic well-formed coloured Petri nets (SWNs) having in mind modularity. Different types of nodes, topology, routing, and flow control are modeled in isolation and are then intermixed to study different architectures. To achieved simplicity and modularity, SWNs are used to their full power, so that this work constitutes quite a complete example of modeling with SWNs.<>