AN EQUIVALENCE METHOD FOR COLOURED PETRI NETS AND PLACE/TRANSITION NETS

被引：0
|
作者：
罗军舟
机构：
来源：
JournalofSoutheastUniversity(EnglishEdition) | 1994年 / 02期
关键词：
Petri nets; coloured Petri nets; place/transition nets;
D O I：
暂无
中图分类号：
TP393.4 [国际互联网];
学科分类号：
081201 ; 1201 ;
摘要：
ＡＮＥＱＵＩＶＡＬＥＮＣＥＭＥＴＨＯＤＦＯＲＣＯＬＯＵＲＥＤＰＥＴＲＩＮＥＴＳＡＮＤＰＬＡＣＥ／ＴＲＡＮＳＩＴＩＯＮＮＥＴＳＬｕｏＪｕｎｚｈｏｕ（罗军舟）（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ）ＡＮＥＱＵ...
引用
收藏
页码：98 / 104
页数：7
相关论文
共 50 条
  • [1] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [2] Refinement of coloured Petri nets
    Best, E
    Thielke, T
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
  • [3] How to determine and use place flows in Coloured Petri Nets
    Christensen, S
    Petrucci, L
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 66 - 71
  • [4] On the abstraction of Coloured Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
  • [5] 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
  • [6] Coloured Batches Petri Nets
    Caradec, M
    Prunet, F
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
  • [7] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [8] Hierarchies of place/transition refinements in Petri nets
    Zuberek, WM
    Bluemke, I
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 355 - 360
  • [9] The Algorithm of Color Petri Nets Transform into the Place/Transition Nets and its Implementation
    Li Wen-jing
    Yang Wen
    Li Shuang
    Liao Wei-zhi
    2012 11TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2012, : 461 - 465
  • [10] From DB-nets to Coloured Petri Nets with Priorities
    Montali, Marco
    Rivkin, Andrey
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 449 - 469
12345