For the most recent entries see the Petri Nets Newsletter.

Using Petri Nets for Communication Protocol Verification.

Dimitrov, V.; Petkov, A.

In: Wissenschaftliche Beiträge zur Informatik, Informatik-Zentrum an der TU Dresden, Heft 3, pages 44-46. 1987.

Abstract: A system for verification of communication protocols is briefly discussed. An algorithm for the generation of the reachability tree is given. The algorithm is implemented in a Petri net subsystem, as part of a system for verification of communication protocols.

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

Back to the Petri Nets Bibliography