Yu Ru, Weimin Wu, Hongye Su, Jian Chu. Supervisor synthesis for bounded Petri nets based on a transformation function. In Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004. pages 4493-4498, IEEE, 2004. [doi]
Abstract is missing.