State space properties of Flexible Manufacturing Cell based on Hierarchical Timed Colored Petri Nets

被引：0
|
作者：
Saren, Sanjib Kumar [1 ]
Blaga, Florin [2 ]
Vesselenyi, Tiberiu [1 ]
机构：
[1] Univ Oradea, Mechatron Dept, Oradea, Romania
[2] Univ Oradea, Ind Engn Dept, Oradea, Romania
来源：
MODERN TECHNOLOGIES IN MANUFACTURING (MTEM 2017 - AMATUC) | 2017年 / 137卷
关键词：
D O I：
10.1051/matecconf/201713701012
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
The subject of this paper is focused on the state space behavioral structure of a flexible manufacturing cell (FMC) using a hierarchical model based on Colored Timed Petri Nets theory. In the paper we discussed various types of properties of the state space in CPNTools and a simulation of the manufacturing cell model with single resource places and transition in order to identify the overall time in the cell. The proposed designed model is based on the manufacturing cell from Faculty of Managerial and Technological Engineering, University of Oradea. In this recent work, we discussed the sequence of resource places and transitions of the flexible manufacturing cell explanation with state space analysis using CPNTools software.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
    Wang, LC
    Wu, SY
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1998, 34 (02) : 463 - 480
  • [22] A context inference framework based on fuzzy colored timed Petri nets
    Lee, Keon Myung
    Hwang, Kyoung-Soon
    Lee, Chan Hee
    [J]. PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON MATHEMATICAL AND COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING (MACMESE '07)/ DNCOCO '07, 2007, : 458 - 463
  • [23] How to Construct an Automated Warehouse Based on Colored Timed Petri Nets
    Cheng, Fei
    He, Shanjun
    [J]. INNOVATIONS IN COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2010, : 227 - 233
  • [24] Specification of timed authentication protocols with colored Petri nets
    Jakubowska, G
    Srebrny, M
    [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
  • [25] Development of an environment for distributed colored timed Petri nets
    Huang, HP
    Shih, TC
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 523 - 528
  • [26] PETRI NETS AND FLEXIBLE MANUFACTURING
    SILVA, M
    VALETTE, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 424 : 374 - 417
  • [27] Scheduling of flexible manufacturing systems using Timed Petri nets and mathematical programming
    Bourdeaud'huy, Thomas
    Hanafi, Said
    Yim, Pascal
    [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 94 - +
  • [28] Hierarchical Colored Petri Nets based components for workflow systems
    Feng Zhou
    Rui-Feng Bo
    Hong-Zhong Huang
    Dan Ling
    Qiang Miao
    [J]. Journal of Mechanical Science and Technology, 2006, 20
  • [29] Hierarchical colored Petri nets based components for workflow systems
    Zhou, Feng
    Bo, Rui-Feng
    Huang, Hong-Zhong
    Ling, Dan
    Miao, Qiang
    [J]. JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2006, 20 (10) : 1527 - 1533
  • [30] Modeling and Analysis of Flexible Manufacture Systems through Hierarchical and Colored Petri Nets
    Aguiar, Marcelo
    Barreto, Raimundo
    Caldas, Ruiter
    Chaves Filho, Joao Edgar
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-5, 2008, : 1113 - 1118
12345