Petri Net for lift
Petri Net for a segment
