On reachability conditions for unrestricted Petri nets.

Kohkichi Tsuji, Tadao Murata

Browse the full ISCAS paper archive.