In: Jisuanji Yanjiu yu Fazhan (China), Vol. 25, No. 5, pages 16-21. 1988. In Chinese.
Abstract: This papers describes a simplified model of token passing bus protocol with place/transition nets. The divide-and-conquer approach is used, which divides a big problem into several small problems, simplifying problems and facilitating the analysis and proof. Finally, the correctness of the protocol is proved using linear invariants method.
Keywords: token bus protocol; place/transition net; divide-and-conquer approach.