Control synthesis of Petri nets based on S-decreases

被引：65
作者：
Chen, HX [1 ]
机构：
[1] Xian Jiao Tong Univ, Syst Engn Inst, Xian 710049, Peoples R China
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2000年 / 10卷 / 03期
关键词：
discrete event system; controlled Petri net; forbidden state; control synthesis;
D O I：
10.1023/A:1008397810443
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems.
引用
收藏
页码：233 / 249
页数：17
相关论文
共 15 条
[1]  
CHEN H, 1994, P 33 IEEE C DEC CONT
[2]  
CHEN H, 1994, P 3 INT C AUT ROB CO
[3]   Net structure and control logic synthesis of controlled Petri nets [J].
Chen, HX .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) :1446-1450
[4]  
Giua A, 1993, P 12 IFAC WORLD C SI, V1, P267
[5]  
Giua A., 1992, P IEEE INT C SYST MA, P947
[6]   SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS [J].
HOLLOWAY, LE ;
KROGH, BH .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) :514-523
[7]   SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR DISCRETE MANUFACTURING SYSTEMS [J].
KROGH, BH ;
HOLLOWAY, LE .
AUTOMATICA, 1991, 27 (04) :641-651
[8]   CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS .1. THE BASE MODEL [J].
LI, Y ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (08) :1214-1227
[9]   CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS-II - CONTROLLER SYNTHESIS [J].
LI, Y ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (03) :512-531
[10]  
MARTINEZ J, 1981, APPL THEORY PETRI NE
12