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