
Search the dblp DataBase
Kohkichi Tsuji:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Tadashi Matsumoto, Tetsuya Sakabe, Kohkichi Tsuji
On Parallel Symbolic Analysis of Large Networks and Systems. [Citation Graph (0, 0)][DBLP] ISCAS, 1993, pp:16471650 [Conf]
 Tadashi Matsumoto, Ken Saikusa, Kohkichi Tsuji
The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock lve in general Petri nets. [Citation Graph (0, 0)][DBLP] ISCAS, 1993, pp:27172720 [Conf]
 Atsushi Ohta, Kohkichi Tsuji
Insufficiently marked siphon of Petri nets  extension of tokenfree siphon. [Citation Graph (0, 0)][DBLP] ISCAS (3), 2003, pp:244247 [Conf]
 Atsushi Ohta, Kohkichi Tsuji
Unfolding of Petri nets with semilinear reachability set. [Citation Graph (0, 0)][DBLP] ISCAS (4), 2004, pp:501504 [Conf]
 Atsushi Ohta, Kohkichi Tsuji, Tomiji Hisamura
Minimal time reachability problem of some subclasses of timed Petri nets. [Citation Graph (0, 0)][DBLP] ISCAS (1), 2005, pp:760763 [Conf]
 Kohkichi Tsuji, Tadao Murata
On reachability conditions for unrestricted Petri nets. [Citation Graph (0, 0)][DBLP] ISCAS, 1993, pp:27132716 [Conf]
Search in 0.004secs, Finished in 0.004secs
