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 条
  • [41] 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
  • [42] Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets
    Huang, Yi-Sheng
    Chung, Ta-Hsiang
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 30 - 49
  • [43] Job Shop Sequencing in Manufacturing Plants by Timed Coloured Petri Nets and Particle Swarm Optimization
    Volpe, Gaetano
    Mangini, Agostino Marcello
    Fanti, Maria Pia
    IFAC PAPERSONLINE, 2022, 55 (28): : 350 - 355
  • [44] Composing abstractions of coloured Petri nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 323 - 345
  • [45] Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies
    Hasiba Ben Attia
    Laid Kahloul
    Saber Benharzallah
    Samir Bourekkache
    International Journal of Information Security, 2020, 19 : 241 - 241
  • [46] Orthogonal transformations for coloured Petri nets
    Best, E
    Thielke, T
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 447 - 466
  • [47] Haskell-Coloured Petri Nets
    Reinke, C
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2000, 1868 : 165 - 180
  • [48] A modelling approach with coloured Petri nets
    Choppy, Christine
    Petrucci, Laure
    Reggio, Gianna
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 73 - +
  • [49] Special section on coloured Petri nets
    Kurt Jensen
    International Journal on Software Tools for Technology Transfer, 2007, 9 (3-4) : 209 - 212
  • [50] Distributed Simulation of Coloured Petri Nets
    Junior, Corneli G. F.
    Marques Vasconcelos, L. C.
    Barroso, G. C.
    Soares, J. M.
    Leite, L. F.
    2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2016,