A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets

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

“…So far, only the works [7], [22], [28] propose livenessenforcing approaches for PN models by configuring the initial resource marking. But their PN models are S 3 PR and WS 3 PR, which are proper subclass of S 4 PR.…”

“…The works [26]- [28] devote to the problem of liveness enforcement in PN models by allocating resources, i.e., setting up appropriate initial markings for resource places. Specifically, Liu et al [26] compute an initial resource marking to ensure the liveness of WS 3 PR.…”

“…The authors in [27] propose a resource configuration approach for configuring initial resources to ensure the liveness of S 3 PRs. Recently, for WS 3 PRs modeling RASs in which the number of parts to be processed is given, You et al [28] present an algorithm for working out an initial resource marking that can enforce the liveness of WS 3 PRs.…”

On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets

“…Petri nets [3], as a major mathematical model, have been applied to many problems in discrete event systems [4]- [10], such as modeling and analysis [11], [52], control [12]- [17], opacity verification and enforcement [18], [19], scheduling [20]- [28], [50], [51], performance evaluation [29], [30], [53], fault identification and diagnosis [32], [33], [61], [62], validation of various properties [18], [19], [54], and deadlock analysis and control [31], [32], [34], [35], [45]- [48].…”