Blocking a transition in a free choice net and what it tells about its throughput

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]

Abstract

Abstract is missing.