Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets | IEEE Conference Publication | IEEE Xplore