| |
| 2005 | ||
|---|---|---|
| 6 | EE | Atsushi Ohta, Kohkichi Tsuji, Tomiji Hisamura: Minimal time reachability problem of some subclasses of timed Petri nets. ISCAS (1) 2005: 760-763 |
| 2004 | ||
| 5 | Atsushi Ohta, Kohkichi Tsuji: Unfolding of Petri nets with semilinear reachability set. ISCAS (4) 2004: 501-504 | |
| 2003 | ||
| 4 | EE | Atsushi Ohta, Kohkichi Tsuji: Insufficiently marked siphon of Petri nets - extension of token-free siphon. ISCAS (3) 2003: 244-247 |
| 1993 | ||
| 3 | Tadashi Matsumoto, Tetsuya Sakabe, Kohkichi Tsuji: On Parallel Symbolic Analysis of Large Networks and Systems. ISCAS 1993: 1647-1650 | |
| 2 | Kohkichi Tsuji, Tadao Murata: On reachability conditions for unrestricted Petri nets. ISCAS 1993: 2713-2716 | |
| 1 | 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. ISCAS 1993: 2717-2720 | |
| 1 | Tomiji Hisamura | [6] |
| 2 | Tadashi Matsumoto | [1] [3] |
| 3 | Tadao Murata | [2] |
| 4 | Atsushi Ohta | [4] [5] [6] |
| 5 | Ken Saikusa | [1] |
| 6 | Tetsuya Sakabe | [3] |