Research on simulation model of Petri net with priority by CPN tools

被引：0
|
作者：
Wang, Sheng-De
Hu, Wang-Bin
Xu, Zong-Chang
机构：
[1] Department of Tech-Support, Beijing Academy of Armored Force Engineering, Beijing 100072, China
[2] Nankai Business School, Tianjin 300071, China
来源：
Xitong Fangzhen Xuebao / Journal of System Simulation | 2008年 / 20卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The introduction of the priority enhanced the description capability of Coloured Petri net, but led to heavy waste of the repeated development of simulation tools. CPN Tools supports powerful Meta Language, expansibility was strong. The CPN Tools simulation model of Petri net with transition, place and tokens' priority was built using anti place, list and meta language. The sample shows the method of building simulation model is effective. It is important to simulate Petri net with priority.
引用
收藏
页码：814 / 816
相关论文
共 50 条
  • [1] CPN tools-assisted simulation and verification of nested Petri nets
    Dworzański L.W.
    Lomazova I.A.
    [J]. Automatic Control and Computer Sciences, 2013, 47 (7) : 393 - 402
  • [2] PETRI NET TOOLS
    FELDBRUGGE, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 203 - 223
  • [3] The Petri Net Kernel: An infrastructure for building Petri net tools
    Kindler E.
    Weber M.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (4) : 486 - 497
  • [4] PETRI NET SEMANTICS OF PRIORITY SYSTEMS
    BEST, E
    KOUTNY, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 175 - 215
  • [5] A Survey of Petri Net Tools
    Thong, Weng Jie
    Ameedeen, M. A.
    [J]. ADVANCED COMPUTER AND COMMUNICATION ENGINEERING TECHNOLOGY, 2015, 315 : 537 - 551
  • [6] Research of legal affair simulation based on Petri net
    Qu Z.
    Wang M.
    [J]. Journal of Shanghai Jiaotong University (Science), 2017, 22 (01) : 92 - 98
  • [7] Research of Legal Affair Simulation Based on Petri Net
    屈振新
    王梦竹
    [J]. Journal of Shanghai Jiaotong University(Science), 2017, 22 (01) : 92 - 98
  • [8] A research of agent model based on petri Net
    Wan, H
    Zhang, YZ
    Zhang, CG
    [J]. ISTM/2003: 5TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-6, CONFERENCE PROCEEDINGS, 2003, : 4761 - 4764
  • [9] Research of the Assembly Model Based on Petri Net
    LI Rong FU Yili MA Yulin FENG Haibo (Advanced Manu.Tech.Cent.
    [J]. 武汉理工大学学报, 2006, (S2) : 393 - 397
  • [10] Research of the assembly model based on Petri net
    Advanced Manu. Tech. Cent., Harbin Inst. Of Tech., Harbin 15000, China
    [J]. Wuhan Ligong Daxue Xuebao, 2006, SUPPL. 1 (393-397):
12345