Fair Petri Nets and Structural Induction for Rings of Processes (2006)
Suzuki, Ichiro, Li, Jianan, Yamashita, Masafumi
We present a structural induction theorem for rings consisting of an arbitrary number of identical components. The components of a ring are modeled using a fair Petri net, in which the firing of a...
Decision Problems Related to Structural Induction for Rings of Petri Nets with Fairness, (1998)
Li, Jianan, Suzuki, Ichiro, Yamashita, Masafumi
Structural induction is a technique for proving that a system consisting of many identical components works correctly regardless of the actual number of components it has. Previously the authors have...
A structural induction theorem for rings of temporal Petri nets / (1992)
Thesis (M.S. in Computer Science)--University of Wisconsin-Milwaukee, 1992.