For the most recent entries see the Petri Nets Newsletter.

Proving the Correctness of a Token Bus Protocol by Using Petrinet.

Wu, Yisheng; Wu, Yongsen; Lan, Shaohua

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.

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

Back to the Petri Nets Bibliography