Toshimasa Watanabe

Legal firing sequences and minimum initial markings for Petri nets

K. Onaga, Toshimasa Watanabe, Y. Mizobata, 1989, IEEE International Symposium on Circuits and Systems,.

A Linear-Time Algorithm for Computing All 3-Edge-Connected Components of a Multigraph

Satoshi Taoka, K. Onaga, Toshimasa Watanabe, 1992 .

Minimum initial marking problems of Petri nets

Toshimasa Watanabe, 1989 .

An approach to robust network construction from graph augmentation problems

A. Nakamura, Yukihito Higashi, Toshimasa Watanabe, 1990, IEEE International Symposium on Circuits and Systems.

Vertex covers and connected vertex covers in 3-connected graphs

K. Onaga, K. Onaga, Toshimasa Watanabe, 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

A Linear Time Algorithm for Smallest Augmentation to 3Edge-Connect a Graph (Special Section on Discrete Mathematics and Its Applications)

Mitsuhiro Yamakado, Toshimasa Watanabe, 1993 .

Finding a minimal siphon containing specified places in a general Petri net

M. Yamauchi, Shinji Tanimoto, M. Yamauchi, 1996 .

Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic --Provability and Axiom Sets --

K. Onaga, Naomoto Kato, Toshimasa Watanabe, 1992 .

A polynomial-time algorithm for finding a semi-generator of Petri net invariants

K. Onaga, Toshimasa Watanabe, T. Tanida, 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

Drawing a rectangular dual to meet prescribed constraints

Toshimasa Watanabe, T. Matsumoto, K. Mizuno, 1997, Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97.

Finding Minimal Siphons in General Petri Nets

M. Yamauchi, Shinji Tanimoto, M. Yamauchi, 1996 .

Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets (Special Section on Concurrent Systems Technology)

Toshimasa Watanabe, Toshimasa Watanabe, Masahiro Yamaguchi, 1999 .

A Linear Time Algorithm for Tri-connectivity Augmentation of Bi-connected Graphs with Upper Bounds on Vertex-Degree Increase

Satoshi Taoka, Toshiya Mashima, Toshimasa Watanabe, 2008 .