An Algorithm for Linear Constraint Transformation in Petri Nets

被引：0
作者：
You Dan [1 ]
Wang ShouGuang [1 ]
Wang ChengYing [1 ]
机构：
[1] Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China
来源：
PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016 | 2016年
关键词：
Discrete event systems (DES); Petri nets; linear constraints; equivalent transformation; admissible marking set; SUPERVISORS; DESIGN;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Linear constraint transformation is an important technique to solve the forbidden state problem in Petri nets containing uncontrollable transitions. This work develops an algorithm to perform the transformation of a linear constraint in Petri nets with arbitrary structures. Particularly, two rules are given to specify the priority of transitions for transformation. Moreover, a condition is proposed, under which a complementary marking set appearing during transformation can be directly added to the final transformation result rather than being continuously transformed. Examples are finally presented to illustrate the application of the proposed algorithm.
引用
收藏
页码：2396 / 2401
页数：6
相关论文
共 19 条
  • [1] Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
    Basile, F
    Chiacchio, P
    Giua, A
    [J]. AUTOMATICA, 2006, 42 (06) : 995 - 1004
  • [2] Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
    Basile, F.
    Cordone, R.
    Piroddi, L.
    [J]. AUTOMATICA, 2013, 49 (11) : 3432 - 3439
  • [3] Design of a live and maximally permissive Petri net controller using the theory of regions
    Ghaffari, A
    Rezg, N
    Xie, XL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (01): : 137 - 142
  • [4] Giua A., 1992, P IEEE C SYST MAN CY, P947
  • [5] A survey of Petri net methods for controlled discrete event systems
    Holloway, LE
    Krogh, BH
    Giua, A
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02): : 151 - 190
  • [6] Supervision based on place invariants: A survey
    Iordache, M. V.
    Antsaklis, P. J.
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (04): : 451 - 492
  • [7] Synthesis of supervisors enforcing general linear constraints in Petri nets
    Iordache, MV
    Antsaklis, PJ
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (11) : 2036 - 2039
  • [8] Luo JL, 2006, P AMER CONTR CONF, V1-12, P4171
  • [9] Luo JL, 2006, P AMER CONTR CONF, V1-12, P4165
  • [10] Maximally permissive supervisor synthesis based on a new constraint transformation method
    Luo, Jiliang
    Shao, Hui
    Nonami, Kenzo
    Jin, Fujiang
    [J]. AUTOMATICA, 2012, 48 (06) : 1097 - 1101
12