Mapping Petri nets to parallel programs in CC++

Petri nets have been widely used as a tool for modeling and analyzing concurrent and distributed system for many years but their applications have been limited to the earlier activities of software system development. To make Petri nets a full fledged software development methodology, systematic (eventually automatic) code generation techniques are needed. We present an approach to derive parallel program skeletons from Petri nets which establishes a link between Petri nets and OO parallel programming and forms a foundation for a Petri net based transformational software development methodology.

[1]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[2]  John A. N. Lee,et al.  A methodology for constructing predicate transition net specifications , 1991, Softw. Pract. Exp..

[3]  Dirk Taubner,et al.  On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[4]  Ian T. Foster,et al.  Designing and building parallel programs - concepts and tools for parallel software engineering , 1995 .

[5]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[6]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.