For the most recent entries see the Petri Nets Newsletter.

Keyword: application protocol

Eggert, H.; Korczynski, W.:
A Formal Protocol Specification with Predicate/Transition Nets. 1990.
Eggert, H.:
A Formal Net Specification of the Communication in a Distributed Computer System. 1989.

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

Back to the Petri Nets Bibliography