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 条
  • [21] Property specification for coloured Petri nets
    Roubtsova, EE
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 2617 - 2622
  • [22] Coloured Petri Nets for Chronicle Recognition
    Choppy, Christine
    Bertrand, Olivier
    Carle, Patrice
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 266 - +
  • [23] Exploiting place invariants in condensed state space construction for Coloured Petri Nets
    Kristensen, LM
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 661 - 667
  • [24] PLACE BISIMULATIONS IN PETRI NETS
    AUTANT, C
    SCHNOEBELEN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 25 - 61
  • [25] A symbolic reachability graph for coloured petri nets
    Chiola, G
    Dutheillet, C
    Franceschinis, G
    Haddad, S
    THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 39 - 65
  • [26] Analysing a missile simulator with coloured Petri nets
    Gordon S.
    Billington J.
    International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 144 - 159
  • [27] Compositional analysis and synthesis of coloured Petri nets
    Morel, JY
    Vlad, RC
    Bourcerie, M
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 191 - 196
  • [28] Performance analysis using coloured Petri nets
    Wells, L
    MASCOTS 2002: 10TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS, PROCEEDINGS, 2002, : 217 - 221
  • [29] Analysing a missile simulator with coloured Petri nets
    Gordon, Steven
    Billington, Jonathan
    International Journal on Software Tools for Technology Transfer, 1998, 2 (02): : 144 - 159
  • [30] TIMED COLOURED PETRI NETS - TCPN.
    Aly, Hussien H.
    Ahmed, Khalil M.
    Selim, M.Salah
    Advances in modelling & simulation, 1984, 1 (04): : 11 - 20
12345