Onaga, K.

• Tohme, H.; Nakamura, M.; Hachiman, K.; Onaga, K.:
  Evolutionary Petri net approach to periodic job-shop scheduling. 1999.

• Tanida, T.; Watanabe, T.; Yamauchi, M.; Onaga, K.:
  Priority-List Scheduling in Timed Petri Nets. 1991.

• Onaga, K.; Silva, M.; Watanabe, T.:
  On Periodic Schedules for Deterministically Timed Petri Net Systems. 1991.

• Watanabe, T.; Tanida, T.; Yamauchi, M.; Onaga, K.:
  The Minimum Initial Marking Problem for Scheduling in Timed Petri Nets. 1991.

• Watanabe, Toshimasa; Mizobata, Yutaka; Onaga, Kenji:
  A Petri-Net-Based Algorithm for Proofs in Horn Clause Propositional Logic. 1990.

• Watanabe, Toshimasa; Mizobata, Yutaka; Onaga, Kenji:
  A Petri-Net-Based Analysis of the Satisfiability Problem in the Horn Clause Propositional Logic. 1990.

• Watanabe, Toshimasa; Mizobata, Yutaka; Onaga, Kenji:
  Legal Firing Sequence and Related Problems of Petri Nets. 1990.

• Ge, Q.W.; Watanabe, T.; Onaga, K.:
  Structural Analysis of Firing Termination of Conflict-Free Petri Nets. 1989.

• Tanida, T.; Watanabe, T.; Onaga, K.:
  Elementary Flows and a Flow-Basis in a Network with Positive Gains. 1989.

• Watanabe, T.; Mizobata, Y.; Onaga, K.:
  Legal Firing Sequences and Minimum Initial Markings for Petri Nets. 1989.

• Watanabe, T.; Mizobata, Y.; Onaga, K.:
  Minimum Initial Marking Problems of Petri Nets. 1989.

• Watanabe, T.; Mizobata, Y.; Onaga, K.:
  Time Complexity of Legal Firing Sequence and Related Problems of Petri Nets. 1989.

• Tanida, T.; Watanabe, T.; Onaga, K.:
  Elementary P-Invariant and P-Basis in Marked Graphs. 1989.

• Onaga, K.; Ge, Q.W.:
  Structural Analysis of T-Invariance of Petri Nets. 1988.

• Ge, Q.W.; Tanida, T.; Ono, N.; Onaga, K.:
  Construction of a t-base and Design of a Periodic Firing Sequence of a Live and Bounded Petri Net. 1987.

• Onaga, K.; Ge, Q.W.; Ono, N.:
  On Optimizing the Initial Token Distribution for a Periodic Petri Net. 1987.

• Onaga, K.; Ge, Q.W.:
  Structural Analysis of the T-Invariance of Petri Nets. 1987.

• Onaga, K.:
  Scheduling of Extended Marked Graphs. 1986.

• Onaga, K.:
  Analysis of Cyclic Behaviours of Multi-PERT Petri Nets via Extended Marked Graphs. 1985.

• Ikeda, H.; Ohtomo, M.; Onaga, K.; Kishimoto, K.:
  An Event Model and its Role for the Design of a Database System. 1983.

• Kishimoto, K.; Onaga, K.; Utsunomiya, H.; Ikeda, H.:
  A Language for Design of Office Automation Facility in Lan Environment. 1983.

• Onaga, Kenji; Chen, Wai Kai:
  Data Flow Analysis of Program Nets. 1982.

• Onaga, K.; Tani, K.; Chan, S.P.:
  Modeling and Scheduling of Resource-Sharing Concurrent Processes in Networks of Recurrent Multiprograms and Multi-PERTs. 1980.

• Onaga, K.:
  Data Flow Analysis of Program Nets. 1980.

• Tani, K.; Onaga, K.; Kakusho, O.:
  Modeling and Analysis of Resource-constrained Network Problems by Petri Nets. 1979.

Back to the Petri Nets Bibliography