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 条
  • [21] Implementation of Feeder Automation Using Colored Petri Nets
    Lin, Chia-Hung
    Li, Chung-Sheng
    Ku, Te-Tien
    Ho, Chin-Ying
    [J]. SENSORS AND MATERIALS, 2021, 33 (04) : 1273 - 1285
  • [22] Using Colored Petri Nets for GPGPU Performance Modeling
    Madougou, Souley
    Varbanescu, Ana Lucia
    de Laat, Cees
    [J]. PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS (CF'16), 2016, : 240 - 249
  • [23] Creating executable models of influence nets with colored Petri nets
    Wagenhals L.W.
    Shin I.
    Levis A.H.
    [J]. International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 168 - 181
  • [24] Dynamic verification of an Object-Rule knowledge base using Colored Petri Nets
    Tadj, Chakib
    Laroussi, Toufik
    [J]. WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 8, 2005, : 197 - 202
  • [25] Controller synthesis for object Petri nets
    Farwer, B
    Kalvala, S
    Misra, K
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 432 - 451
  • [26] TOWARDS A MODULAR ANALYSIS OF COLORED PETRI NETS
    CHRISTENSEN, S
    PETRUCCI, L
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 113 - 133
  • [27] Incorporating deduction into object Petri nets
    Ravindran, E
    Hui, SC
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2305 - 2310
  • [28] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2004, 65 (03) : 245 - 249
  • [29] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [30] MATRIX SPECIFICATION AND ANALYSIS OF COLORED PETRI NETS
    BELIKOV, VK
    RUTNER, YF
    [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (03): : 77 - 80
12345