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 条
  • [31] Timed approximate Petri nets
    Suraj, Zbigniew
    Fryc, Barbara
    FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 83 - 99
  • [32] Processes of timed Petri nets
    Winkowski, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
  • [33] Timed Catalytic Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    Pinna, G. Michele
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
  • [34] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
  • [35] Fuzzy timed Petri nets
    Pedrycz, W
    Camargo, H
    FUZZY SETS AND SYSTEMS, 2003, 140 (02) : 301 - 330
  • [36] On the use of coloured Petri nets for object-oriented design
    Barros, JP
    Gomes, L
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 117 - 136
  • [37] How to determine and use place flows in Coloured Petri Nets
    Christensen, S
    Petrucci, L
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 66 - 71
  • [38] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [39] Formal model-based quantitative safety analysis using timed Coloured Petri Nets
    Wu, Daohua
    Zheng, Wei
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2018, 176 : 62 - 79
  • [40] Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets
    Saren, Sanjib Kumar
    Blaga, Florin
    Vesselenyi, Tiberiu
    MODERN TECHNOLOGIES IN MANUFACTURING (MTEM 2017 - AMATUC), 2017, 137