Generating basis siphons and traps of Petri nets using the sign incidence matrix | IEEE Journals & Magazine | IEEE Xplore