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 条
  • [1] COLORED PETRI NETS
    JENSEN, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
  • [2] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [3] Modeling of railway nets with colored Petri nets
    Paliulis, E
    Pranevicius, H
    [J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
  • [4] A NOTE ON COLORED PETRI NETS
    PETERSON, JL
    [J]. INFORMATION PROCESSING LETTERS, 1980, 11 (01) : 40 - 43
  • [5] HIERARCHIES IN COLORED PETRI NETS
    HUBER, P
    JENSEN, K
    SHAPIRO, RM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 : 313 - 341
  • [6] ON THE INVARIANTS OF COLORED PETRI NETS
    NARAHARI, Y
    VISWANADHAM, N
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
  • [7] Object Petri nets - Using the nets-within-nets paradigm
    Valk, R
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 819 - 848
  • [8] 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
  • [9] 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
  • [10] FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION
    Gehlot, Vijay
    [J]. 2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1519 - 1533
12345