Fair Petri Nets and Structural Induction for Rings of Processes. - Jianan Li 002; Ichiro Suzuki; Masafumi Yamashita (Theor. Comput. Sci., 1994)

A New Structural Induction Theorem for Rings of Temporal Petri Nets. - Jianan Li 002; Ichiro Suzuki; Masafumi Yamashita (IEEE Trans. Software Eng., 1994)