Formal Modeling of Parallel System based on TCPN

被引：0
|
作者：
Cheng, Bin [1 ]
Wang, Xingang [1 ]
Tong, Weiqin [1 ]
机构：
[1] Shanghai Univ, Sch Comp Engn & Sci, Shanghai, Peoples R China
来源：
2009 6TH IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING | 2009年
关键词：
Timed Coloured Petri Net; parallel system; formal method;
D O I：
10.1109/NPC.2009.36
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Correctness and performance are the principal requirement of a parallel system. Due to the complicated and uncertainty, it is necessary to model it. A hierarchical TCPN model proposed in this paper can investigate on various levels of abstraction and analyze concerning performance, functional validity and correctness. It describes the parallel program and the resources respectively to bring less effect to modify the program structure because of running environment changes.
引用
收藏
页码：246 / 250
页数：5
相关论文
共 50 条
  • [21] A Transaction-Based Environment for System Modeling and Parallel Simulation
    Amine Anane
    El Mostapha Aboulhamid
    International Journal of Parallel Programming, 2015, 43 : 24 - 58
  • [22] Queuing network modeling of a cluster-based parallel system
    Javadi, B
    Khorsandi, S
    Akbari, MK
    SEVENTH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND GRID IN ASIA PACIFIC REGION, PROCEEDINGS, 2004, : 304 - 307
  • [23] A Transaction-Based Environment for System Modeling and Parallel Simulation
    Anane, Amine
    Aboulhamid, El Mostapha
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2015, 43 (01) : 24 - 58
  • [24] A PARALLEL CRN MODELING SYSTEM
    OMARD, LP
    MODELLING AND SIMULATION IN MATERIALS SCIENCE AND ENGINEERING, 1993, 1 (04) : 485 - 504
  • [25] Formal Modeling of IoT-Based Distribution Management System for Smart Grids
    Kousar, Shaheen
    Zafar, Nazir Ahmad
    Ali, Tariq
    Alkhammash, Eman H.
    Hadjouni, Myriam
    SUSTAINABILITY, 2022, 14 (08)
  • [26] System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis
    Lee, Kyou Ho
    Hong, Jeong Hee
    Kim, Tag Gon
    ETRI JOURNAL, 2015, 37 (01) : 175 - 185
  • [27] A formal Modeling method based on CPN
    Li, Shancang
    Zhang, Deyun
    Li, Zongbin
    Ma, Fuhai
    Wu, Feng
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4994 - +
  • [28] Formal modeling and parameter analysis method for train control system based on hybrid unified modeling language
    Zhao X.
    Cheng R.
    Cheng Y.
    Ma X.
    Ma, Xiaoping (xpma123@163.com), 1600, Science Press (38): : 80 - 87
  • [29] Formal derivation of parallel triangular system solvers using a coordination-based design method
    Leiden Univ, Leiden, Netherlands
    Parallel Comput, 7 (1023-1046):
  • [30] Formal Modeling of Smart Home Monitoring System
    Farooq, Shabina
    Zafar, Nazir Ahmad
    Ullah, Farhan
    2017 1ST INTERNATIONAL CONFERENCE ON ELECTRONICS, MATERIALS ENGINEERING & NANO-TECHNOLOGY (IEMENTECH), 2017,
12345