A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming (bibtex)

by Fernando Tricas and José-Manuel Colom

Reference:

A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming (Fernando Tricas and José-Manuel Colom), In Proceedings of the 11th European Simulation Symposium (ESS’99). Simulation in Industry, Erlangen-Nuremberg, Germany, October 26-28, 1999, Institution of Electrical Engineers, London, 1999.

Bibtex Entry:

@InProceedings{Tricas1999,
  author    = {Fernando Tricas and Jos{\'{e}}-Manuel Colom and Joaqu{\'{\i}}n Ezpeleta},
  booktitle = {Proceedings of the 11th European Simulation Symposium (ESS’99). Simulation in Industry, Erlangen-Nuremberg, Germany, October 26-28, 1999},
  title     = {A solution to the problem of deadlocks in concurrent systems using {Petri} nets and integer linear programming},
  year      = {1999},
  pages     = {542--546},
  publisher = {Institution of Electrical Engineers, London},
  groups    = {silarri:6},
  isbn      = {1-56555-177-X},
  keywords  = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Petri Net Synthesis},
}