Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore