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