For the most recent entries see the Petri Nets Newsletter.

Automatic Petri-Net Based Protocol Implementation.

Illing, G.C.

In: IREECON 1989. Proceedings of the 22nd International Electronics Convention and Exhibition of the Institution of Radio and Electronics Engineers Australia, 1989, Melbourne, Australia, pages 358-361. 1989.

Abstract: Petri Nets are one method for an exact specification of a computer protocol, and have the advantage that tools are available for the analysis of the protocol once specified in nets. This paper describes the automatic production of protocol implementations from Petri Net specifications.

Keywords: automatic net based protocol implementation.


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

Back to the Petri Nets Bibliography