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).
Back to the Petri Nets Bibliography