Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming

被引：6

作者：

Ma, Ziyue ^{[1
]}

Zhu, Guanghui ^{[1
]}

Li, Zhiwu ^{[2
,3
]}

Giua, Alessandro ^{[4
]}

机构：

[1] Xidian Univ, Sch Electromech Egn, Xian 710071, Peoples R China

[2] Xidian Univ, Minist Educ, Sch Electromech Engn, Key Lab Elect Equipment Struct Design, Xian 710071, Peoples R China

[3] Macau Univ Sci & Technol, Inst Syst Engn, Macau 999078, Peoples R China

[4] Univ Cagliari, Dept Elect & Elect Engn, I-09124 Cagliari, Italy

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2020年 / 65卷 / 06期

基金：

国家重点研发计划; 中国国家自然科学基金;

关键词：

Petri nets; Law; Computational modeling; Dynamic programming; Frequency modulation; Supervisory control; Discrete event system; dynamic programming; petri net; SUPERVISORS; DESIGN; CONSTRAINTS; CONTROLLERS;

D O I：

10.1109/TAC.2019.2942570

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We study the computation of admissible marking sets in generalized Petri nets. We first show that the admissibility checking in the generalized Petri net is NP-hard. Then, we consider a special subclass of generalized Petri nets called weighted-synchronization-free nets in which each transition has at most one input place. For a net in this subclass, we propose a generating function to compute by dynamic programming the set of admissible markings for a given generalized mutual exclusion constraint.

引用

页码：2662 / 2669

页数：8

共 25 条

[1]

[Anonymous], 1957, DYNAMIC PROGRAMMING

[2] State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions [J].

Basile, Francesco ;

Cabasino, Maria Paola ;

Seatzu, Carla .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (04) :997-1009

[3] A branch and bound approach for the design of decentralized supervisors in Petri net models [J].

Basile, Francesco ;

Cordone, Roberto ;

Piroddi, Luigi .

AUTOMATICA, 2015, 52 :322-333

[4] Fault model identification and synthesis in Petri nets [J].

Cabasino, Maria Paola ;

Giua, Alessandro ;

Hadjicostis, Christoforos N. ;

Seatzu, Carla .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (03) :419-440

[5] Fault detection for discrete event systems using Petri nets with unobservable transitions [J].

Cabasino, Maria Paola ;

Giua, Alessandro ;

Seatzu, Carla .

AUTOMATICA, 2010, 46 (09) :1531-1539

[6]

COLOM JM, 1991, LECT NOTES COMPUT SC, V483, P113

[7]

Giua A., 1992, P IEEE C SYST MAN CY, P947

[8] A survey of Petri net methods for controlled discrete event systems [J].

Holloway, LE ;

Krogh, BH ;

Giua, A .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02) :151-190

[9] Supervision based on place invariants: A survey [J].

Iordache, M. V. ;

Antsaklis, P. J. .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (04) :451-492

[10] Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems [J].

Li, ZW ;

Zhou, MC .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01) :38-51

← 1 2 3 →