Enforcing the Liveness of S4PR by Using the Approach of Allocating Resources

Enforcing the Liveness of S4PR by Using the Approach of Allocating Resources

Blog Article

Liveness is very important for resource allocation systems (RASs) iphone 14 price texas as it means that no deadlock can arise in the system operation.By applying the approach of allocating resources, this paper focuses on enforcing the liveness of RASs that allow for the general resource allocation and flexible routs.These considered RASs can be modeled by a subcalss of systems of sequential systems with shared resources, named as S4PRs.Deadlocks in S4PR can be characterized by the saturation of a kind of activity-circuits.Based on these circuits, we study the relationship between the number of initial tokens or marking of resource place and the non-saturation of some involved activity-circuits.

Further, a liveness condition for S4PR is derived which is associated with the numbers of initial tokens or markings of all resource places.An algorithm is proposed to allocate the initial number of resources so that the considered S4PR puffy spa headband is live.Finally the proposed method is illustrated by examples.