B
B. Algayres
Researcher at Hoffmann-La Roche
Publications - 1
Citations - 36
B. Algayres is an academic researcher from Hoffmann-La Roche. The author has contributed to research in topics: Petri net & Protocol (object-oriented programming). The author has an hindex of 1, co-authored 1 publications receiving 36 citations.
Papers
More filters
Journal ArticleDOI
Petri nets are good for protocols
TL;DR: This paper surveys the applicability of Petri nets for protocol, as well as for service specification and validation, and chooses the ISO Transport protocol as a significant example of the proposed design methodology.