Deadlock analysis of Petri nets using siphons and mathematical programming | IEEE Journals & Magazine | IEEE Xplore