FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION

被引：0
|
作者：
Gehlot, Vijay [1 ,2 ]
机构：
[1] Villanova Univ, Dept Comp Sci, 800 E Lancaster Ave, Villanova, PA 19085 USA
[2] Villanova Univ, Ctr Excellence Enterprise Technol CEET, 800 E Lancaster Ave, Villanova, PA 19085 USA
来源：
2019 WINTER SIMULATION CONFERENCE (WSC) | 2019年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many systems. However, Petri Nets do not scale well when it comes to modeling and simulating large systems. Colored Petri Nets (CPNs) extend Petri Nets with a high level programming language, making them more suitable for modeling large systems. The CPN language allows the creation of models as a set of modules in a hierarchical manner and permits both timed and untimed models. Untimed models are used to validate the logical correctness of a system, whereas timed models are used to evaluate performance. This tutorial introduces the reader to the vocabulary and constructs of both Petri Nets and CPNs and illustrates the use of CPN Tools in creating and simulating models by means of familiar simple examples.
引用
收藏
页码：1519 / 1533
页数：15
相关论文
共 50 条
  • [1] AN INTRODUCTION TO SYSTEMS MODELING AND SIMULATION WITH COLORED PETRI NETS
    Gehlot, Vijay
    Nigro, Carmen
    [J]. PROCEEDINGS OF THE 2010 WINTER SIMULATION CONFERENCE, 2010, : 104 - 118
  • [2] Modeling of railway nets with colored Petri nets
    Paliulis, E
    Pranevicius, H
    [J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
  • [3] ML AND COLORED PETRI NETS FOR MODELING AND SIMULATION
    VARHOL, PD
    [J]. DR DOBBS JOURNAL, 1991, 16 (09): : 76 - &
  • [4] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [5] COLORED PETRI NETS
    JENSEN, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
  • [6] Simulation of Colored Time Petri Nets
    Zhang, Hongmei
    Liu, Fei
    Yang, Ming
    Li, Wei
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2013, : 637 - 642
  • [7] Modeling of Collaborative Design Based on Colored Petri Nets
    Hou Junming
    Chong, Su
    Liang, Tang
    Wang Wanshan
    [J]. PROCEEDINGS OF THE 27TH CHINESE CONTROL CONFERENCE, VOL 6, 2008, : 428 - 432
  • [8] An Attack Modeling Based on Hierarchical Colored Petri Nets
    Wu, Ruoyu
    Li, Weiguo
    Huang, He
    [J]. ICCEE 2008: PROCEEDINGS OF THE 2008 INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, 2008, : 918 - 921
  • [9] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2004, 65 (03) : 245 - 249
  • [10] Switched LAN simulation by colored Petri nets
    Zaitsev, DA
    [J]. MODELLING AND SIMULATION 2003, 2003, : 485 - 488
12345