Fair Petri Nets and Structural Induction for Rings of Processes

Jianan Li, Ichiro Suzuki, Masafumi Yamashita. Fair Petri Nets and Structural Induction for Rings of Processes. Theoretical Computer Science, 135(2):377-404, 1994.

Abstract

Abstract is missing.