Using colored Petri nets to simulate object Petri nets

被引：0
|
作者：
Corchado, FFR [1 ]
Gallegos, FZ [1 ]
Jiménez, AA [1 ]
Dávila, HIP [1 ]
机构：
[1] IPN, CINVESTAV, Guadalajara 45090, Mexico
来源：
International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings | 2004年
关键词：
Petri nets; colored Petri nets; multi-level Petri nets;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper explains a methodology for transforming an Elementary Object System into a behaviourally equivalent Colored Petri net Such transformation allows proving properties of Elementary Object Systems using techniques of Colored Petri nets.
引用
收藏
页码：27 / 31
页数：5
相关论文
共 50 条
  • [31] ML AND COLORED PETRI NETS FOR MODELING AND SIMULATION
    VARHOL, PD
    [J]. DR DOBBS JOURNAL, 1991, 16 (09): : 76 - &
  • [32] COLORED PETRI NETS AND THE INVARIANT-METHOD
    JENSEN, K
    [J]. THEORETICAL COMPUTER SCIENCE, 1981, 14 (03) : 317 - 336
  • [33] Modelling with hierarchical object Petri nets
    Farwer, B
    Misra, K
    [J]. FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 129 - 147
  • [34] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MODELLING AND SIMULATION 2003, 2003, : 485 - 488
  • [35] Modeling workflow processes with colored Petri nets
    Liu, DS
    Wang, JM
    Chan, SCF
    Sun, JG
    Zhang, L
    [J]. COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281
  • [36] AN EFFICIENT METHOD FOR UNFOLDING COLORED PETRI NETS
    Liu, Fei
    Heiner, Monika
    Yang, Ming
    [J]. 2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [37] 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
  • [38] 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
  • [39] 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
  • [40] 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
12345