Unfolding of Petri nets with semilinear reachability set.

Atsushi Ohta, Kohkichi Tsuji

Browse the full ISCAS paper archive.