For the most recent entries see the Petri Nets Newsletter.

Verification Oriented Estelle Specification of Communication Protocols.

Dimitrov, V.; Petkov, A.

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.

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

Back to the Petri Nets Bibliography