For the most recent entries see the Petri Nets Newsletter.

On the Analysis of Time-Dependent Protocols by Network Flow Algorithms.

Bolognesi, T.; Rudin, H.

In: Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 491-513. Elsevier Science Publ. B.V. (North Holland), 1985.

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

Back to the Petri Nets Bibliography