Legal Transition Sequence Recognition of a Bounded Petri Net Using a Gate Recurrent Unit | IEEE Journals & Magazine | IEEE Xplore