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 条
  • [21] AN EFFICIENT METHOD FOR UNFOLDING COLORED PETRI NETS
    Liu, Fei
    Heiner, Monika
    Yang, Ming
    [J]. 2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [22] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [23] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2004, 65 (03) : 245 - 249
  • [24] Methods for Efficient Unfolding of Colored Petri Nets
    Bilgram, Alexander
    Jensen, Peter G.
    Pedersen, Thomas
    Srba, Jiri
    Taankvist, Peter H.
    [J]. FUNDAMENTA INFORMATICAE, 2022, 189 (3-4) : 297 - 320
  • [25] On the computation of stubborn sets of colored Petri nets
    Evangelista, Sami
    Pradat-Peyre, Jean-Francois
    [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 146 - 165
  • [26] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    [J]. ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [27] Malware Behavior Modeling with Colored Petri Nets
    Jasiul, Bartosz
    Szpyrka, Marcin
    Sliwa, Joanna
    [J]. COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2014, 2014, 8838 : 667 - 679
  • [28] Transforming event graphs to colored Petri nets
    Kim, D
    Zaidi, AK
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 317 - 320
  • [29] DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
    Montali, Marco
    Rivkin, Andrey
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XII, 2017, 10470 : 91 - 118
  • [30] Exploiting colored Petri nets to decide on permutation admissibility
    Bashirov, Rza
    Kordon, Fabrice
    Lort, Hueseyin
    [J]. ACTA INFORMATICA, 2009, 46 (01) : 43 - 55
12345