A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets (bibtex)

by Javier Campos

Reference:

A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets (Javier Campos), In Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991.

Bibtex Entry:

@InProceedings{Campos1991a,
  author    = {Javier Campos and Jos{\'{e}}-Manuel Colom},
  booktitle = {Proceedings of the 12th International Conference on Application and Theory of Petri Nets},
  title     = {A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets},
  year      = {1991},
  address   = {Gjern, Denmark},
  month     = {June},
  pages     = {237-256},
  groups    = {silarri:6},
  keywords  = {Petri Net Theory, Petri Net Structure Theory, Petri Net Analysis},
}