In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 394-398. Springer-Verlag, June 1992.
Abstract: We describe an automated modeling system which uses extended Petri nets to model dataflow programs executing on a dataflow architecture. We independently model both a dataflow algorithm and a dataflow architecture, and describe how these two models are fused. The fused model allows the parallel programmer to maintain a logical connectivity between the dataflow graph and its execution on the machine. The fused net is executed by our software to generate statistics which enable parallel programmers to efficiently map algorithms onto parallel architectures.