In: Proc. 20th Annual Int. Computer Software and Applications Conf. (COMPSAC-96), pages 70-75. 1996.
Abstract: Petri nets have been widely used as a tool for modeling and analyzing concurrent and distributed systems for many years. However, their applications are mainly limited to the earlier activities of software system development. To make Petri nets a full fledge software development methodology, systematic (eventually automatic) code generation techniques are needed. This paper presents an approach to derive parallel program skeletons from Petri nets which establishes a link between Petri nets and object-oriented programming and forms a foundation for a Petri net based transformational software development methodology.
Keywords: CC++, Petri nets, parallel programs.