Auflistung nach Autor:in "Blesel, Michael"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelModelling MPI Communication using Coloured Petri Nets(PARS-Mitteilungen: Vol. 36, 2024) Krabbe, Tronje; Blesel, Michael; Kuhn, MichaelThe Message Passing Interface (MPI) is a widely used standard for distributed memory, parallel computing. Coloured Petri Nets (CPNs) are a powerful, high-level modelling framework, well suited for modelling distributed systems. This paper presents a novel approach to modelling the communication in MPI programs using Coloured Petri Nets. The paper investigates how this approach can be used for correctness checking of communication schemes. A proof-of-concept software implementation is able to detect several errors and shows promising performance.