PROJECT PLAN FORMALIZATION AND MODELING VIA TIMED COLOURED PETRI NETS

被引：0
|
作者：
Kvetonova, Sarka [1 ]
Kolar, Dusan [1 ]
机构：
[1] Tech Univ Brno, Fac Informat Technol, Dept Informat Syst, Brno 61266, Czech Republic
来源：
6TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2008 | 2008年
关键词：
Project Plan; Network Diagram; Timed Coloured Petri Nets; Formalization;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paper presents a way, how the network diagram representation of a project plan is transformed to a corresponding Timed Coloured Petri Net, (T-CPN) working over discrete time. Such a T-CPN model is further equiped with resource modeling and mutually exclusive activity performance modeling. The paper demonstrates all algorithm. how the key main network diagram representations of a project, plan are translated to a T-CPN and how the resource modeling is (possibly algorithmically) added next.
引用
收藏
页码：34 / 39
页数：6
相关论文
共 50 条
  • [21] Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications
    Souza, Layse Santos
    Soares, Michel S.
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2023, 29 (10) : 1217 - 1249
  • [22] Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets
    Chang, Xuling
    Huang, Linpeng
    Hu, Jianpeng
    Li, Chen
    Cao, Bei
    [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 267 - 272
  • [23] New formal descriptions for timed coloured Petri nets using formal series
    Sollier, Louis Bal Dit
    Ourghanlian, Alain
    Amari, Said
    [J]. 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7373 - 7379
  • [24] A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis
    Wang, Ching Huey
    Huang, Pei Shu
    Wang, Feng Jian
    [J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 417 - 420
  • [25] TIMED PETRI NETS
    MARSAN, MA
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (05): : 312 - 313
  • [26] Timed petri nets
    [J]. Advances in Automation and Robotics, 1990, 2
  • [27] Deadlock control of autonomous vehicle storage and retrieval systems via coloured timed Petri nets and digraph tools
    He, S. J.
    Luo, J.
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (12) : 3253 - 3263
  • [28] Timed Petri nets, Linear logic, and performance modeling
    Gehlot, V
    [J]. MSV'04 & AMCS'04, PROCEEDINGS, 2004, : 195 - 200
  • [29] Timed Petri nets in modeling and analysis of cluster tools
    Zuberek, WM
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 562 - 575
  • [30] Timed processes of timed Petri nets
    Valero, V
    deFrutos, D
    Cuartero, F
    [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
12345