Text this: Analysis of parallel computation correctness with the use of PS-net