Kodama, S.

• Lee, D.-I.; Kumagai, S.; Kodama, S.:
  Handles and Reachability Analysis of Free Choice Nets. 1995.

• Takai, S.; Ushio, T.; Kodama, S.:
  Concurrency and maximally permissive feedback in Petri nets with external input place. 1994.

• Nishimura, T.; Lee, D.I.; Kumagai, S.; Kodama, S.:
  Efficient decomposition algorithm for flexible manufacturing systems modeled by free-choice nets. 1993.

• Lee, D.; Kumagai, S.; Kodama, S.:
  Complete Structural Characterization of State Machine Allocatable Nets. 1991.

• Lee, D.; Kumagai, S.; Kodama, S.:
  Reachability Theorem for a Class of Live and Safe Free Choice Nets. 1991.

• Dong, Ik Lee; Kumagai, S.; Kodama, S.:
  Reachability of LSFC Nets. 1990.

• Dong, Ik Lee; Kumagai, Sadatoshi; Kodama, Shinzo:
  Reachability of LSFC Nets. 1990.

• Kumagai, Sadatoshi; Kodama, Shinzo; Tsuji, Kohkichi; Nakamura, Youichi:
  Preservation of Liveness in Hierarchical Petri nets. 1990.

• Kodama, S.:
  Analysis of Petri Nets. 1989.

• Yamada, T.; Tsuji, K.; Kumagai, S.; Kodama, S.:
  Modeling and Verification of Distributed Systems by Petri Nets. 1988.

• Kumagai, S.; Ohno, H.; Kodama, S.:
  Net Theory Applied to Sequential Control. 1988.

• Nakamura, Y.; Tsuji, K.; Kumagai, S.; Kodama, S.:
  On the Preservation of Liveness in a Hierarchical Modelling by Petri Nets. 1988.

• Yamada, T.; Tsuji, K.; Kumagai, S.; Kodama, S.:
  Modelling and Verification of Distributed Systems by Petri Nets. 1987.

• Tsuji, K.; Kumagai, S.; Kodama, S.; Yamada, T.; Huang, S.:
  Modelling and Verification of Sequential Control Systems by Petri Nets. 1986.

• Tsuji, K.; Kumagai, S.; Kodama, S.:
  On the Liveness of Extended Marked Graphs. 1986.

• Kodama, S.:
  Analysis and Management of Dispersion Phenomenon Systems; a Netmodel Approach. 1985.

• Kodama, S.; Kumagai, S.:
  Discrete Event System-Net Model Approach. 1985.

• Tsuji, K.; Kumagai, S.; Kodama, S.; Takeda, S.:
  Of the Liveness of Extended Marked Graphs. 1985.

• Kodama, S.; Kumagai, S.:
  Descrete-Event Dynamic Systems. 1985.

• Kumagai, S.; Kodama, S.; Naito, T.:
  Deadlock-Free Conditions for a Class of Petri Nets. 1984.

• Kumagai, S.; Kodama, S.; Naito, T.; Sawai, T.:
  On the Structural Properties of Extended Marked Graphs. 1984.

• Sumi, H.; Kodama, S.; Matsumoto, K.; Takeda, S.:
  Analysis of Switching Sequences in Power Networks by Petri Nets. 1982.

• Taguchi, T.; Kodama, S.; Kumagai, S.:
  Analysis of Marked Graphs with Save Conditions. 1980.

Back to the Petri Nets Bibliography