Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems | IEEE Journals & Magazine | IEEE Xplore