Checking Redundancies in Supervisory Control. A Complexity Result (bibtex)

by Fernando García-Vallés and José-Manuel Colom

Reference:

Checking Redundancies in Supervisory Control. A Complexity Result (Fernando García-Vallés and José-Manuel Colom), In IFAC Proceedings Volumes, volume 35, 2002, 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).

Bibtex Entry:

@Article{Garcia-Valles2002,
  author   = {Fernando Garc{\'{\i}}a{-}Vall{\'{e}}s and Jos{\'{e}}-Manuel Colom},
  journal  = {IFAC Proceedings Volumes},
  title    = {Checking Redundancies in Supervisory Control. A Complexity Result},
  year     = {2002},
  issn     = {1474-6670},
  note     = {15th Triennial World Congress of the International Federation of Automatic Control (IFAC)},
  number   = {1},
  pages    = {437--442},
  volume   = {35},
  doi      = {https://doi.org/10.3182/20020721-6-ES-1901.00075},
  groups   = {silarri:6},
  keywords = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis},
  url      = {http://www.sciencedirect.com/science/article/pii/S1474667015384962},
}