In: Briggs, F.A.: Proceedings of the 1988 International Conference on Parallel Processing, Vol. 2, pages 157-160. Pennsylvania State Press, University Park, PA, USA, 1988.
Abstract: A special form of a labelized Petri net which is called a process net is defined. It is shown how a program which is constructed using accepted control structures for sequential or parallel processes can be described as a process net. It is further demonstrated how it is possible to derive a predicate which establishes the program's correctness.