Enforcing Liveness in S$^3$PR Nets by Specialization of Resources (bibtex)

by Asaftei Timotei

Reference:

Enforcing Liveness in S$^3$PR Nets by Specialization of Resources (Asaftei Timotei), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, 2013.

Bibtex Entry:

@InProceedings{Timotei2013a,
  author    = {Asaftei Timotei and Jos{\'{e}}-Manuel Colom},
  booktitle = {Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems ({ICORES} 2013), Barcelona, Spain, 16-18 February, 2013},
  title     = {Enforcing Liveness in {S$^3$PR} Nets by Specialization of Resources},
  year      = {2013},
  editor    = {Bego{\~{n}}a Vitoriano and Fernando Valente},
  pages     = {318--321},
  publisher = {SciTePress},
  doi       = {10.5220/0004275603180321},
  groups    = {silarri:6},
  isbn      = {978-989-8565-40-2},
  keywords  = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Petri Net Synthesis},
  url       = {https://doi.org/10.5220/0004275603180321},
}