Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets

DOI10.1007/978-3-540-73094-1_23zbMATH Open1226.68006OpenAlexW1881173850MaRDI QIDQ3612944FDOQ3612944

Authors: Elisabeth Pelz, Dietmar Tutsch 

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_23

Recommendations

• Stochastic modeling of multistage interconnection networks with MOSEL
• A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
• On different models for packet flow in multistage interconnection networks
• scientific article; zbMATH DE number 1461224
• scientific article; zbMATH DE number 1246409

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
• MLMIN: a multicore processor and parallel computer network topology for multicast
• Using high level Petri nets to model the inter-session network coding

Uses Software

• Akaroa

This page was built for publication: Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612944)