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

DOI10.1007/978-3-540-73094-1_23MaRDI QIDQ3612944zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

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)