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 条
  • [31] Verifying time Petri nets by linear programming
    Li, XD
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 16 (01) : 39 - 46
  • [32] Approach for Transforming Linear Constraints on Petri Nets
    Luo, Jiliang
    Nonami, Kenzo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (12) : 2745 - 2759
  • [33] Modelling integer linear programs with Petri nets
    Richard, P.
    RAIRO Recherche Operationnelle, 2000, 34 (03): : 305 - 312
  • [34] Verifying Time Petri Nets by Linear Programming
    李宣东
    Journal of Computer Science & Technology, 2001, (01) : 39 - 46
  • [35] Debits and Credits in Petri Nets and Linear Logic
    Bartoletti, Massimo
    Degano, Pierpaolo
    Di Giamberardino, Paolo
    Zunino, Robert
    LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 135 - 159
  • [36] Modeling and solving constraint satisfaction problems through Petri nets
    Portinale, L
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 348 - 366
  • [37] Time Constraint Research based on Fuzzy Timing Petri Nets
    Liu, Yongshan
    Wang, Jianjun
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 2, PROCEEDINGS, 2009, : 257 - 260
  • [38] Reachability search in timed Petri nets using constraint programming
    Dress, OB
    Yim, P
    Korbaa, O
    Ghedira, K
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4923 - 4928
  • [39] Analysis of workflow schedulability based on time constraint Petri nets
    Feng, Lin
    Jiang, Hao
    2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 1208 - 1212
  • [40] Verifying time Petri nets by linear programming
    Xuandong Li
    Journal of Computer Science and Technology, 2001, 16 : 39 - 46
12345