The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock lve in general Petri nets. - Tadashi Matsumoto 002; Ken Saikusa; Kohkichi Tsuji (ISCAS, 1993)