For the most recent entries see the Petri Nets Newsletter.

Time Petri Nets for Analyzing and Verifying Time Dependent Protocols.

Menasche, M.; Berthomieu, B.

In: Protocol Specification, Testing and Verification III, pages 161-172. Elsevier Science Publ. B.V. (North Holland), 1983.

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

Back to the Petri Nets Bibliography