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
相关论文
共 50 条
  • [1] A New Linear Constraint Transformation Approach for Petri Nets with Uncontrollable Transitions
    You, Dan
    Wang, ShouGuang
    Seatzu, Carla
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 258 - 263
  • [2] A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions
    Wang, Shouguang
    You, Dan
    Seatzu, Carla
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2018, 48 (08): : 1403 - 1410
  • [3] Schedulability analysis decision algorithm of timing constraint Petri nets
    Li, Huifang
    Li, Renhou
    Weidianzixue yu Jisuanji/Microelectronics & Computer, 2000, 17 (01): : 18 - 21
  • [4] Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets
    Chen, YuFeng
    Al-Ahmari, Abdulrahman
    Hon, Chi Tin
    Wu, NaiQi
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [5] On the enforcement of a class of constraint in Petri nets
    Wu, WM
    Dong, LD
    Su, HY
    Chu, J
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 598 - 603
  • [6] A Constraint Transformation Technique in Petri Nets with Backward-Conflict-Free Uncontrollable Structures
    Ma, Ziyue
    Li, Zhiwu
    Giua, Alessandro
    2015 AMERICAN CONTROL CONFERENCE (ACC), 2015, : 365 - 370
  • [7] PETRI NET TRANSFORMATION FOR DECISION MAKING: COMPOUND PETRI NETS TO ALTERNATIVES AGGREGATION PETRI NETS
    Ignacio Latorre-Biel, Juan
    Jimenez-Macias, Emilio
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 613 - 618
  • [8] Computation of an Opt mal Transformed Linear Constraint Class of Petri Nets With Uncontrollable Transitions
    You, Dan
    Wang, Shouguang
    Li, Zhiwu
    Wang, Chengying
    IEEE ACCESS, 2017, 5 : 6780 - 6790
  • [9] Decentralized control of Petri nets with constraint transformations
    Iordache, MV
    Antsaklis, PJ
    PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 314 - 319
  • [10] Transformation of BPEL processes to Petri nets
    Dun, Haiqiang
    Xu, Haiying
    Wang, Lifu
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 166 - +
12345