COLORED PETRI NETS

被引：0
|
作者：
JENSEN, K
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 254卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：248 / 299
页数：52
相关论文
共 50 条
  • [1] 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
  • [2] A NOTE ON COLORED PETRI NETS
    PETERSON, JL
    [J]. INFORMATION PROCESSING LETTERS, 1980, 11 (01) : 40 - 43
  • [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