A. Ferscha and G. Haring, “PETRI NET BASED MODELING OF PARALLEL PROGRAMS EXECUTING ON DISTRIBUTED MEMORY MULTIPROCESSOR SYSTEMS ”, Period. Polytech. Elec. Eng., vol. 35, no. 3, pp. 193–219, Jan. 1991.