Synthesis of an event based deadlock avoidance supervisor for semiconductor manufacturing systems with choices in process flows

Wenle Zhang, Ziqiang John Mao. Synthesis of an event based deadlock avoidance supervisor for semiconductor manufacturing systems with choices in process flows. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 4714-4719, IEEE, 2004. [doi]

@inproceedings{ZhangM04-5,
  title = {Synthesis of an event based deadlock avoidance supervisor for semiconductor manufacturing systems with choices in process flows},
  author = {Wenle Zhang and Ziqiang John Mao},
  year = {2004},
  doi = {10.1109/CDC.2004.1429535},
  url = {https://doi.org/10.1109/CDC.2004.1429535},
  researchr = {https://researchr.org/publication/ZhangM04-5},
  cites = {0},
  citedby = {0},
  pages = {4714-4719},
  booktitle = {45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006},
  publisher = {IEEE},
}