Ferscha, A., and G. Haring. 1991. “PETRI NET BASED MODELING OF PARALLEL PROGRAMS EXECUTING ON DISTRIBUTED MEMORY MULTIPROCESSOR SYSTEMS ”. Periodica Polytechnica Electrical Engineering 35 (3):193-219.