Suzuki, I.

• Suzuki, Ichiro:
  Specification and Verification of the Alternating Bit Protocol by Temporal Petri nets. 1990.

• Suzuki, Ichiro:
  Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. 1990.

• Lu, H.; Suzuki, I.:
  Application of Temporal Petri Nets to Verification of Handshake Daisy Chain Arbiters. 1987.

• Suzuki, I.; Lu, H.:
  Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter. 1987.

• Suzuki, I.; Lu, H.:
  Realization of Global Fairness by Local Control in Live Simple Nets. 1985.

• Suzuki, I.:
  On the Notion of Simultaneous Firings of Transitions in Petri Nets and Marked Graphs. 1984.

• Suzuki, I.; Kasami, T.:
  Three Measures for Synchronic Dependence in Petri Nets. 1983.

• Suzuki, I.; Murata, Tadao:
  A Method for Stepwise Refinement and Abstraction of Petri Nets. 1983.

• Suzuki, I.; Kasami, T.:
  Characterization of Weight Vectors for Weighted Synchronic Distance in Petri Nets. 1982.

• Suzuki, I.; Murata, Tadao:
  Stepwise Refinements of Transitions and Places. 1982.

• Murata, Tadao; Suzuki, I.:
  On the Structural Properties and Stepwise Refinement of Petri Nets. 1981.

• Suzuki, I.; Murata, Tadao:
  Marked Graph Transformations by Stepwise Transition Refinements. 1980.

• Suzuki, I.; Murata, Tadao:
  A Method for Hierarchically Representing Large Scale Petri Nets. 1980.

• Suzuki, I.; Murata, Tadao:
  A Method for Stepwise Refinements and Abstractions of Petri Nets. 1980.

Back to the Petri Nets Bibliography