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 条
  • [41] Application of coloured Petri nets in system development
    Kristensen, LM
    Jorgensen, JB
    Jensen, K
    LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 626 - 685
  • [42] Process versus unfolding semantics for place/transition Petri nets
    Meseguer, J
    Montanari, U
    Sassone, V
    THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 171 - 210
  • [43] A Process Calculus for Expressing Finite Place/Transition Petri Nets
    Gorrieri, Roberto
    Versari, Cristian
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (41): : 76 - 90
  • [44] On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
    Boyer, Marc
    Roux, Olivier H.
    FUNDAMENTA INFORMATICAE, 2008, 88 (03) : 225 - 249
  • [45] On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
    Meyer, Roland
    Gorrieri, Roberto
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 463 - +
  • [46] Comparison of the expressiveness of arc, place and transition time Petri nets
    Boyer, M.
    Roux, O. H.
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 63 - +
  • [47] A Joint Development of Coloured Petri Nets and the B Method in Critical Systems
    Sun, Pengfei
    Bon, Philippe
    Collart-Dutilleul, Simon
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2015, 21 (12) : 1654 - 1683
  • [48] Fault Diagnosis with Coloured Petri Nets using Latent Nestling Method
    Garcia, E.
    Rodriguez, L.
    Morant, F.
    Correcher, A.
    Quiles, E.
    Blasco, R.
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 1265 - 1270
  • [49] Complementary place transformation in Petri nets
    Kavitha, K.
    Babitha, T.
    Praveena, V
    IEEE INTERNATIONAL CONFERENCE ON SOFT-COMPUTING AND NETWORK SECURITY (ICSNS 2018), 2018, : 312 - 320
  • [50] Design/CPN - A computer tool for Coloured Petri Nets
    Christensen, S
    Jorgensen, JB
    Kristensen, LM
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 209 - 223
12345