For the most recent entries see the Petri Nets Newsletter.

Symbolic Execution of Concurrent Systems Using Petri Nets.

Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro

In: Computer Languages, Vol. 14, No. 4, pages 263-281. 1989.

Abstract: The authors define a method for symbolic execution of concurrent systems, based on an extension of Petri net formalism, called EF nets. In order to support the analysis of a concurrent system or program, at first a general algorithm for symbolically executing an EF net is defined. Then, a more efficient algorithm is given for the particular help in reducing the amount of information needed to characterize a symbolic execution. The usefulness of the proposed method is illustrated by means of a case study.

Keywords: symbolic execution extension (of) net formalism.

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

Back to the Petri Nets Bibliography