Bibliographie

1

B. Gaujal et S. Haar et J. Mairesse, Blocking a transition in a free choice net and +what it tells about its throughput, Tech. Report RR-4225, INRIA, 2001, à paraître dans J. Comput. Syst. Sci.