Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets

Aydin Aybar, Altug Iftar. Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets. In 7th European Control Conference, ECC 2003, Cambridge, UK, September 1-4, 2003. pages 1681-1686, IEEE, 2003. [doi]

@inproceedings{AybarI03,
  title = {Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets},
  author = {Aydin Aybar and Altug Iftar},
  year = {2003},
  doi = {10.23919/ECC.2003.7085206},
  url = {https://doi.org/10.23919/ECC.2003.7085206},
  researchr = {https://researchr.org/publication/AybarI03},
  cites = {0},
  citedby = {0},
  pages = {1681-1686},
  booktitle = {7th European Control Conference, ECC 2003, Cambridge, UK, September 1-4, 2003},
  publisher = {IEEE},
  isbn = {978-3-9524173-7-9},
}