Petri net based models for the specification and validation of protocols

Michel Diaz, Pierre Azéma. Petri net based models for the specification and validation of protocols. In Grzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol, editors, Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers. Volume 188 of Lecture Notes in Computer Science, pages 101-121, Springer, 1984.

Authors

Michel Diaz

This author has not been identified. Look up 'Michel Diaz' in Google

Pierre Azéma

This author has not been identified. Look up 'Pierre Azéma' in Google