In: Research Report No. 67, pages 110-121. Tokyo, Japan: Kogakuin University, October 1989.
Abstract: The authors present the concept of modelling ring network protocols by means of predicate/transition-nets and analyze properties of the model using linear invariants. They show that their model can provide a detection of failures in a network, and some properties of the model are proved.
Keywords: ring network protocol; predicate/transition net; failure detection.