A NOTE ON COLORED PETRI NETS

被引：27
|
作者：
PETERSON, JL
机构：
来源：
INFORMATION PROCESSING LETTERS | 1980年 / 11卷 / 01期
关键词：
D O I：
10.1016/0020-0190(80)90032-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：40 / 43
页数：4
相关论文
共 50 条
  • [1] COLORED PETRI NETS
    JENSEN, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
  • [2] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [3] HIERARCHIES IN COLORED PETRI NETS
    HUBER, P
    JENSEN, K
    SHAPIRO, RM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 : 313 - 341
  • [4] ON THE INVARIANTS OF COLORED PETRI NETS
    NARAHARI, Y
    VISWANADHAM, N
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
  • [5] Modeling of railway nets with colored Petri nets
    Paliulis, E
    Pranevicius, H
    [J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
  • [6] AUTOMATING THE CONVERSION OF COLORED PETRI NETS WITH QUALITATIVE TOKENS INTO COLORED PETRI NETS WITH QUANTITATIVE TOKENS
    Hlomozda, D. K.
    Glybovets, M. M.
    Maksymets, O. M.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2018, 54 (04) : 650 - 661
  • [7] COLORED PETRI NETS AND THE MATRIX APPROACH
    BELIKOV, VK
    RUTNER, YF
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (03) : 120 - 124
  • [8] Syntactical colored Petri nets reductions
    Evangelista, S
    Haddad, S
    Pradat-Peyre, JF
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 202 - 216
  • [9] Towards reusable Colored Petri Nets
    Lee, NH
    Hong, JE
    Cha, SD
    Bae, DH
    [J]. SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 223 - 229
  • [10] Simulation of Colored Time Petri Nets
    Zhang, Hongmei
    Liu, Fei
    Yang, Ming
    Li, Wei
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2013, : 637 - 642
12345