In: Proceedings of the European Teleinformatics Conference EUTECO'88: Research into Networks and Distributed Applications, 1988, Vienna, pages 953-960. Amsterdam: North-Holland, 1988.
Abstract: An approach for automatic verification of communication protocols specified in an Estelle subset is presented. The transformations from verification-oriented specifications into Petri nets are informally specified. The properties of communication protocols are discussed in Estelle and Petri nets terms.