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 条
  • [21] An algorithm for Petri nets reachability by unfoldings
    Miyamoto, T
    Nakano, S
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (03) : 500 - 503
  • [22] METHODS AND ADVANTAGES OF TRANSFORMATION BORM TO PETRI NETS
    Moravec, J.
    Papik, M.
    UCLIO 2010: UNIVERSITY CONFERENCE IN LIFE SCIENCES - PROCEEDINGS, 2010, : 59 - 64
  • [23] Algorithmic Tools for the Transformation of Petri Nets to DEVS
    Redjimi, Mohammed
    Boukelkoul, Sofiane
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2013, 37 (04): : 411 - 418
  • [24] Automatic transformation of MSC diagrams into Petri Nets
    Kryvyy, SL
    Matvyeyeva, LE
    Lopatina, MV
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 140 - 145
  • [25] Transformation of Usecase and Sequence Diagrams to Petri Nets
    Emadi, Sima
    Shams, Fereidoon
    2009 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL IV, 2009, : 399 - +
  • [26] The Petri-Nets to Statecharts Transformation Case
    Van Gorp, Pieter
    Rose, Louis M.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 16 - 31
  • [27] Research on Methods of Transformation of Petri Nets Systems into the Place/Transition Nets
    Li, Wenjing
    Yang, Wen
    Liao, Weizhi
    Li, Shuang
    2012 THIRD GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS 2012), 2012, : 233 - 236
  • [28] Modelling integer linear programs with Petri nets
    Richard, P
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 2000, 34 (03): : 305 - 312
  • [29] Timed Petri nets and temporal linear logic
    Tanabe, M
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 156 - 174
  • [30] Fuzzy Petri Nets with Linear Orders for Intervals
    Suraj, Zbigniew
    Grochowalski, Piotr
    THEORY AND PRACTICE OF NATURAL COMPUTING, TPNC 2017, 2017, 10687 : 150 - 161
12345