Extended Reachability Graph of Petri Net for Cost Estimation

被引:3
|
作者
Davidrajuh, Reggie [1 ]
机构
[1] Univ Stavanger, Elect & Comp Engn, Stavanger, Norway
来源
2013 8TH EUROSIM CONGRESS ON MODELLING AND SIMULATION (EUROSIM) | 2013年
关键词
Reachability graph; Extended Petri Net; Extended Reachability Graph; Cost estimation; GPenSIM;
D O I
10.1109/EUROSIM.2013.72
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Reachability graph is a fundamental tool for analysis of Petri Net models of discrete event dynamic systems. However, the applicability of reachability graph is limited to finding different states that are reachable from an initial state. This paper presents a new extended reachability graph that is much more useful: the extended reachability graph can be used for not only finding the states that are reachable from an initial state, but also how much these states will costs. In order to support the new extended reachability graph, this paper also proposes an extension to the timeless ordinary Petri Net, for incorporating firing times and firing costs of transition firings. In this paper, firstly, an extension to the ordinary Petri Net is proposed. Secondly, based on the extended Petri Net, an extended reachability graph is presented. Finally, an application example is also given on the cost estimation of a software development project.
引用
收藏
页码:378 / 383
页数:6
相关论文
共 50 条
  • [41] Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets
    Lime, Didier
    Roux, Olivier H.
    Seidner, Charlotte
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 406 - 425
  • [42] Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
    Abdulla, Parosh Aziz
    Mayr, Richard
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 348 - +
  • [43] Optimization of Consuming Resource Problem Based on Reachability Graph of Petri Nets
    Zhang Bo
    Qu Yizhi
    Ma Tao
    Li Peng
    2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 1745 - 1748
  • [44] Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems
    Hu, Menghuan
    Yang, Shaohua
    Chen, Yufeng
    IEEE ACCESS, 2020, 8 : 227925 - 227935
  • [45] Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph
    Ran, Ning
    Nie, Jingyao
    Meng, Aiwen
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 7159 - 7165
  • [46] A New Modified Reachability Graph of ω-independent Petri Nets and its Application
    Yang, Ru
    Ding, Zhijun
    Pan, Meiqin
    2ND INTERNATIONAL CONFERENCE ON COMMUNICATION AND TECHNOLOGY (ICCT 2015), 2015, : 63 - 70
  • [47] Analyzing BPMN with extended object petri net
    Yu, Ruiqiang
    Huang, Zhiqiu
    Wang, Lin
    Zhang, Hongjie
    Journal of Software Engineering, 2014, 8 (02): : 58 - 74
  • [48] Petri net extended with condition and probability information
    Sun, Chang-Le
    Guo, Dong-Ming
    Gao, Hang
    Zou, Ling-Hao
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2010, 16 (07): : 1444 - 1451
  • [49] An Extended Time Petri Net with Condition Information
    Guo, D. M.
    Sun, C. L.
    Gao, H.
    Zou, L. H.
    ADVANCES IN MATERIALS MANUFACTURING SCIENCE AND TECHNOLOGY XIII, VOL II: MODERN DESIGN THEORY AND METHODOLOGY, MEMS AND NANOTECHNOLOGY, AND MATERIAL SCIENCE AND TECHNOLOGY IN MANUFACTURING, 2009, 628-629 : 1 - 6
  • [50] Extended Petri-net for workflow modelling
    Zhang, L.
    2006 1ST IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-3, 2006, : 503 - +