For the most recent entries see the Petri Nets Newsletter.

Petri Net Based Models in the Specification and Verification of Protocols.

Diaz, M.

In: Brauer, W.; Reisig, W.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 255: Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986, pages 135-170. Springer-Verlag, 1987.

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

Back to the Petri Nets Bibliography