Coloured Petri Net simulator: A generic tool for production planing

被引:0
|
作者
Narciso, ME [1 ]
Piera, MA [1 ]
机构
[1] Univ Autonoma Barcelona, Dept Comp Sci, Bellaterra 08193, Barcelona, Spain
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
To produce a large number of different products in an efficient way, traditional industry production architectures have incorporated non-value-adding operations such as transporting, storing and inspecting to provide flexibility. These operations should be minimized, if not eliminated, to improve performance on automated manufacturing systems. Heuristic planning tools seem to offer a good methodology to deal with a sub-optimal scheduling policy of present flexible manufacturing systems. In this paper a simulation approach, based on Coloured Petri Nets, to evaluate and improve production planning policies will be presented.
引用
收藏
页码:139 / 147
页数:3
相关论文
共 50 条
  • [1] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR
    Mujica Mota, Miguel A.
    Angel Piera, Miquel
    [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
  • [2] Applicatiom of coloured Petri net and genetic algoirithm to cluster tool scheduling
    Liu, TK
    Kuo, CJ
    Hsiao, YC
    Tsai, JT
    Chou, JH
    [J]. ICMIT 2005: CONTROL SYSTEMS AND ROBOTICS, PTS 1 AND 2, 2005, 6042
  • [3] A coloured Petri net trust model
    Lory, P
    [J]. 14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 415 - 419
  • [4] Analysing a missile simulator with coloured Petri nets
    Gordon S.
    Billington J.
    [J]. International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 144 - 159
  • [5] Analysing a missile simulator with coloured Petri nets
    Gordon, Steven
    Billington, Jonathan
    [J]. International Journal on Software Tools for Technology Transfer, 1998, 2 (02): : 144 - 159
  • [6] A coloured Petri net approach to protocol verification
    Billington, J
    Gallasch, GE
    Han, B
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
  • [7] Parameterised Coloured Petri Net Channel Models
    Billington, Jonathan
    Vanit-Anunchai, Somsak
    Gallasch, Guy E.
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
  • [8] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
  • [9] CacheSIM: A Web Cache Simulator Tool Based on Coloured Petri Nets and Java']Java Programming
    Furtado Junior, C. G.
    Soares, J. M.
    Barroso, G. C.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2015, 13 (05) : 1511 - 1519
  • [10] Coverage visualization and analysis of net inscriptions in coloured Petri net models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2024, 20 (01) : 17 - 30