B. Gaujal, S. Haar, J. Mairesse. Blocking a Transition in a Free Choice Net, and what it tells about its throughput. Journal of Computer and System Sciences, 66(3):515-548, 2003.
[ Petri nets ]
Stefan Haar http://www.irisa.fr/distribcom
@article{tHaar03,
Author = {Gaujal, B. and Haar, S. and Mairesse, J.},
Title = {Blocking a Transition in a Free Choice Net, and what it tells about its throughput},
Journal = {Journal of Computer and System Sciences},
Volume = {66},
Number = {3},
Pages = {515--548},
Year = {2003}
}
Get EndNote Reference (.ref)