Boundedness and liveness enforcement for labeled Petri nets using transition priority

被引：0

作者：

Liu Y.-J. ^{[1
]}

Li X.-B. ^{[1
]}

机构：

[1] School of Mechanical and Electrical Engineering, University of Electronic Science and Technology of China, Chengdu

来源：

Journal of Electronic Science and Technology | 2023年 / 21卷 / 04期

关键词：

Boundedness; Control strategy; Liveness; Petri nets; Priority; Transition invariant;

D O I：

10.1016/j.jnlest.2023.100227

中图分类号：

O144 [集合论]; O157 [组合数学（组合学）];

学科分类号：

070104 ;

摘要：

This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control. © 2023 The Authors

引用

共 36 条

[1]

Giua A., Petri Nets as Discrete Event Models for Supervisory Control, (1992)

[2]

Gassandras C.-G., Lafortune S., Petri nets, Introduction to Discrete Event Systems, pp. 223-267, (2008)

[3]

Ramadge P.-J.-G., Wonham W.-M., The control of discrete event systems, P, IEEE, 77, 1, pp. 81-98, (1989)

[4]

Ramadge P.-J., Wonham W.-M., Supervisory control of a class of discrete event processes, SIAM J. Control Optim., 25, 1, pp. 206-230, (1987)

[5]

Ramadge P.-J., Wonham W.-M., Modular feedback logic for discrete event systems, SIAM J. Control Optim., 25, 5, pp. 1202-1218, (1987)

[6]

Feng Y.-X., Xing K.-Y., Zhou M.-C., Tian F., Liu H.-X., Structural liveness analysis of automated manufacturing systems modeled by S<sup>4</sup>PRs, IEEE Trans. Autom. Sci. Eng., 16, 4, pp. 1952-1959, (2019)

[7]

Feng Y.-X., Xing K.-Y., Zhou M.-C., Liu H.-X., Liveness analysis and deadlock control for automated manufacturing systems with multiple resource requirements, IEEE T. Syst. Man CY-S, 50, 2, pp. 525-538, (2020)

[8]

Feng Y.-X., Ren S.-D., Ren X.-D., Chen H.-F., Yang Y.-K., Small-size liveness-enforcing supervisor for automated manufacturing systems using the theory of transition cover, IEEE T. Syst. Man CY-S, 53, 4, pp. 2222-2235, (2023)

[9]

Chen Y.-F., Li Z.-W., Barkaoui K., Wu N.-Q., Zhou M.-C., Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs, IEEE T. Syst. Man CY-S, 47, 2, pp. 364-379, (2017)

[10]

Chen Y.-F., Li Z.-W., Al-Ahmari A., Wu N.-Q., Qu T., Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Inf. Sci., 381, pp. 290-303, (2017)

← 1 2 3 4 →