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]
Abstract is missing.