Segment theory to compute elementary siphons in Petri nets for deadlock control