COLORED PETRI NETS

被引：0
|
作者：
JENSEN, K
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 254卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：248 / 299
页数：52
相关论文
共 50 条
  • [21] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2004, 65 (03) : 245 - 249
  • [22] 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
  • [23] 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
  • [24] 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
  • [25] 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
  • [26] 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
  • [27] 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
  • [28] Exploiting colored Petri nets to decide on permutation admissibility
    Bashirov, Rza
    Kordon, Fabrice
    Lort, Hueseyin
    [J]. ACTA INFORMATICA, 2009, 46 (01) : 43 - 55
  • [29] A method of workflow scheduling based on colored Petri nets
    Xiao, Zhijiao
    Ming, Zhong
    [J]. DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 230 - 247
  • [30] Synthesis of controllers of processes modeled as colored Petri nets
    Makungu, M
    Barbeau, M
    St-Denis, R
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1999, 9 (02): : 147 - 169
12345