Maximally permissive and non-blocking control of Petri nets using theory of regions | IEEE Conference Publication | IEEE Xplore