For the most recent entries see the Petri Nets Newsletter.

Verification of Specifications Written in ESTELLE, Using Petri Nets.

Dimitrov, V.; Petkov, A.

In: Autom. Control Comput. Sci., Vol. 23, No. 5, pages 20-24. 1989.

Abstract: The authors present an approach to automatic verification of specifications written in ESTELLE. For this purpose, a verification-oriented subset of the language is employed. The transformation of the specifications to be verified into Petri nets is described, and an analysis is provided.

Keywords: verification (of) Estelle specification (using nets).

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

Back to the Petri Nets Bibliography