Watanabe, T.

• Taoka, Satoshi; Furusato, Shinji; Watanabe, Toshimasa:
  A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. 2003.

• Nishi, S.; Taoka, S.; Watanabe, T.:
  A new heuristic method for solving the the minimum marking problem of Petri nets. 2000.

• Taoka, S.; Watanabe, T.:
  A linear time algorithm solving the legal firing sequence problem for a class of edge-weighted cactuses. 1999.

• Yamauchi, M.; Watanabe, T.:
  Algorithms for extracting minimal siphons containing specified places in a general Petri net. 1999.

• Yamauchi, M.; Watanabe, T.:
  Time complexity analysis of the minimal siphon extraction problem of Petri nets. 1999.

• Watanabe, Toshimasa; Yamauchi, Masahiro; Tanimoto, Shinji:
  Extracting Siphons Containing Specified Set of Places In Petri Net. 1998.

• Yamauchi, Masahiro; Watanabe, Toshimasa:
  A Heuristic Algorithm FSD for the Legal Firing Sequence Problem of Petri Nets. 1998.

• Tanimoto, S.; Yamauchi, M.; Watanabe, T.:
  Finding minimal siphons in general Petri nets. 1996.

• Yamauchi, M.; Tanimoto, S.; Watanabe, T.:
  Finding a minimal siphon containing specified places in a general Petri net. 1996.

• Watanabe, T.; Ohta, T.; Sato, F.; Mizuno, T.:
  Protocol verification tool with extended Petri net and Horn clause. 1995.

• Watanabe, T.; Yamauchi, M.:
  New Priority-Lists for Scheduling in Timed Petri Nets. 1993.

• 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.

Back to the Petri Nets Bibliography