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.