Boundedness, Reversibility, Liveliness, Deadlock, And Synchronization Characteristics With Their Uses
We previously introduced the conception of reversibility, liveliness, and bounded-ness. in short we can say that:
(a) Bounded-ness characterizes the fitness of the state space.
(b) Liveliness is interrelated to potential friability in all reachable marking.
Where global infinite activity such is friability of the net system model is guaranteed, deadlock-free net is a weaker consideration, even if several parts of it do not work at each.
(c) Reversibility implies the recoverability of initial marking from some reach-able marking.