On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems