Bruno Gaujal, Stefan Haar, Jean Mairesse. Blocking a transition in a free choice net and what it tells about its throughput. J. Comput. Syst. Sci., 66(3):515-548, 2003. [doi]
@article{GaujalHM03, title = {Blocking a transition in a free choice net and what it tells about its throughput}, author = {Bruno Gaujal and Stefan Haar and Jean Mairesse}, year = {2003}, doi = {10.1016/S0022-0000(03)00039-4}, url = {http://dx.doi.org/10.1016/S0022-0000(03)00039-4}, researchr = {https://researchr.org/publication/GaujalHM03}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {66}, number = {3}, pages = {515-548}, }