Bernd Daene, Herwig Unger, Khaled Ben Achour:

Some Aspects to the Graphical Design of Software

in: Parallel Computing: Trends and Applications. 
    Elsevier Science B.V. 1994
    (Advances in Parallel Computing, Vol. 9)
    pp. 597-600

    Proceedings of ParCo93, Grenoble, France
    7-10 Sep 1993

Abstract:
Petri Nets have proved to be an efficient tool for solving a lot of problems in the 
field of automation and systems design. The paper shows new advantages in the use of 
nets for finding software solutions for multiprocessor systems in process automation. 
The concept of the CASE tool SATURN introduced in this report is a well-usable one 
because it combines formal methods with a highly plastic graphic representation and 
a clear interface.