%0 Conference Paper %D 1990 %T A polynomial-time algorithm to decide liveness of bounded free choice nets %A J. Esparza %A M. Silva