Toward the Minimal Universal Petri Net | IEEE Journals & Magazine | IEEE Xplore