Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Design of live and maximally permissive Petri net controller using theory of regions.
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 2003, 19 (1), pp.137-141.
⟨inria-00099640⟩