Herwig Unger, Khaled Ben Achour:

A Petri Net Based Method for the Design of Parallel 
Programs for Multiprocessor Systems.

in: Lecture Notes in Computer Science, Vol. 634, 
    pages 749-754. 
    Springer-Verlag, 1992. 

Abstract:
The paper shows a method for the automatic generation 
of parallel programs from Petri Net descriptions.