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 条
  • [41] Completeness results for linear logic on Petri nets
    Engberg, U
    Winskel, G
    ANNALS OF PURE AND APPLIED LOGIC, 1997, 86 (02) : 101 - 135
  • [42] A Transformation Algorithm for Optimal Admissible Generalized Mutual Exclusion Constraints on Petri Nets with Uncontrollable Transitions
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    2011 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2011,
  • [43] Performance evaluation of a consensus algorithm with Petri nets
    Sergent, N
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 143 - 152
  • [44] A New Dynamic Algorithm for Petri Nets Slicing
    Roci, Albana
    Davidrajuh, Reggie
    2020 IEEE 14TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT2020), 2020,
  • [45] A symbolic algorithm for the synthesis of bounded Petri nets
    Carmona, J.
    Cortadella, J.
    Kishinevsky, M.
    Kondratyev, A.
    Lavagno, L.
    Yakovlev, A.
    APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 92 - +
  • [46] A polynomial algorithm for checking diagnosability of Petri nets
    Wen, YL
    Li, CH
    Jeng, M
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 2542 - 2547
  • [47] A Refactoring Algorithm of Workflows based on Petri Nets
    Toyoshima, Ichiro
    Yamaguchi, Shingo
    Zhang, Jia
    2015 IIAI 4TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI), 2015, : 79 - 84
  • [48] ATL Transformation of Queueing Networks to Queueing Petri Nets
    Al-Azzoni, Issam
    MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 261 - 268
  • [49] A new transformation of generalized Petri nets - Generalized abstraction
    Haro, C
    Martineau, P
    Proust, C
    RAIRO-OPERATIONS RESEARCH, 2004, 38 (01) : 39 - 62
  • [50] Transformation of Coloured Petri Nets to UML 2 Diagrams
    Yassin, Ayman
    Hassan, Hoda
    NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2014, 276 : 131 - 142
12345