Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets

Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu. Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 39(6):1237-1246, 2009. [doi]

@article{LuoWSC09-0,
  title = {Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets},
  author = {Jiliang Luo and Weimin Wu and Hongye Su and Jian Chu},
  year = {2009},
  doi = {10.1109/TSMCA.2009.2027111},
  url = {http://dx.doi.org/10.1109/TSMCA.2009.2027111},
  tags = {constraints},
  researchr = {https://researchr.org/publication/LuoWSC09-0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
  volume = {39},
  number = {6},
  pages = {1237-1246},
}