GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS

This article contains a brief description of existing graphical methods for presenting multithreaded applications, i.e. Control Flow Graph and Petri nets. These methods will be discussed, and then a way to represent multi-threaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multi-threaded application that includes the race condition phenomenon. In the summary, all three methods will be compared and subjected to the evaluation, which will depend on whether the given representation will allow to find the mentioned phenomenon