A compact Petri net representation and its implications for analysis | IEEE Journals & Magazine | IEEE Xplore