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 (Jan. 1991), 193–219.