The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock lve in general Petri nets.

Tadashi Matsumoto, Ken Saikusa, Kohkichi Tsuji

Browse the full ISCAS paper archive.