Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis | IEEE Journals & Magazine | IEEE Xplore