In: International Computer Science Institute Berkeley, Technical Report, No. TR-95-043. August 1995.
Abstract: Today, multiprocessor systems can be used even for the solution of small problems. In contrast to this advantage in the development of hardware solutions there are only a few methods to specify and to generate efficient parallel programs especially in the area of heterogenous systems. In the report we intend to show that Petri Nets are a suitable description language for doing so. An important point in this favour is that Petri Nets can represent both aspects influencing the quality of a solution in an uniform model: the software and the hardware on which the generated program will be executed. In that way the executable program can be derived by compiling the corresponding part of the model.