For the most recent entries see the Petri Nets Newsletter.

Petri Net Based Models for the Specification and Validation of Protocols.

Diaz, Michel

In: Newsletter No. 17, pages 21-39. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, June 1984.

Keywords: protocol, (specification and validation).


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

Back to the Petri Nets Bibliography