TIMED COLOURED PETRI NETS USE IN PROJECT MANAGEMENT FORMALIZATION DOMAIN

被引:0
|
作者
Kvetonova, Sarka [1 ]
Kolar, Dusan [1 ]
机构
[1] Brno Univ Technol, Fac Informat Technol, Brno 61266, Czech Republic
关键词
Project; Project Management; Project Plan; Timed Coloured Petri Nets; Formalization;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
The aim of this paper is to present a unified approach to Petri Nets exploitation for project plan creation and modelling needs. It describes how a technique of Petri Nets, in concrete, the Timed Coloured Petri Nets (T-CPN) can be used to model and, subsequently, to online monitor project plan development. Our intention is to simplify the whole process of project plan creation and control through the Petri nets models by way of online optimization of a project in a discrete time. The created T-CPN model is extended, in addition, with resource modelling and mutually exclusive activity performance modelling. We have also introduced a new algorithm, which is able to translate and, as a next step, to simplify main network diagram representations to a T-CPN. If required, the resource modelling can be added.
引用
收藏
页码:473 / 478
页数:6
相关论文
共 50 条
  • [22] Formalization of petri nets with clocks
    Uzal, R.
    Riesco, D.
    Montejano, G.
    Vilallonga, G.
    Debnath, Narayan C.
    JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2005, 5 (01) : S185 - S199
  • [23] Refinement of coloured Petri nets
    Best, E
    Thielke, T
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
  • [24] On the abstraction of Coloured Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
  • [25] Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies
    Hasiba Ben Attia
    Laid Kahloul
    Saber Benhazrallah
    Samir Bourekkache
    International Journal of Information Security, 2020, 19 : 163 - 187
  • [26] Air transportation delay propagation analysis with uncertainty in coloured-timed Petri nets
    Shao, Quan
    Xu, Chenchen
    PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-TRANSPORT, 2020, 173 (06) : 380 - 395
  • [27] Coloured Batches Petri Nets
    Caradec, M
    Prunet, F
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
  • [28] Supply chain modelling and managing, using timed coloured Petri nets: a case study
    Mazzuto, Giovanni
    Bevilacqua, Maurizio
    Ciarapica, Filippo Emanuele
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2012, 50 (16) : 4718 - 4733
  • [29] Performance Analysis of New Product Development Process through Timed Coloured Petri Nets
    Mazzuto, G.
    Bevilacqua, M.
    Ciarapica, F. E.
    IFAC PAPERSONLINE, 2018, 51 (11): : 862 - 867
  • [30] A new modeling methodology of urban traffic lights based on Timed Coloured Petri nets
    Yi-Sheng Huang
    Ta-Hsiang Chung
    Ting-Hui Lin
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 85 - +