Modeling fine grain computation via the Fusion of two extended Petri nets

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.