For the most recent entries see the Petri Nets Newsletter.

A Petri Net Method for the Formal Verification of Parallel Processes.

Kraus, K.G.; Gulden, S.L.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography