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