Krabbe, TronjeBlesel, MichaelKuhn, Michael2024-09-252024-09-2520240177-0454https://dl.gi.de/handle/20.500.12116/44642The 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.enText/Journal Article