PRODUCTION CONFIGURATION OF PRODUCT FAMILIES An Approach based on Petri Nets

被引:0
|
作者
Zhang, Lianfeng [1 ]
Rodrigues, Brian [1 ]
Slomp, Jannes [2 ]
Gaalman, Gerard J. C. [2 ]
机构
[1] Univ Groningen, Dept Operat, Landleven 5, Groningen, Netherlands
[2] Univ Groningen, Dept Operat, Groningen, Netherlands
来源
ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2 | 2008年
关键词
Production configuration; Timed Petri nets; Colored Petri nets; Transition synchronization;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Configuring production processes for product families has been acknowledged as an effective means of dealing with product variety while maintaining production stability and efficiency. In an attempt to assist practitioners to better understand and implement production configuration, we study the underlying logic for configuring production processes for product families by means of dynamic modelling and visualization. Accordingly, we develop a formalism of nested colored timed Petri nets (PNs) to model production configuration. To cope with the modelling difficulties resulting from the fundamental issues in production configuration, three types of nets, namely process nets, assembly nets and manufacturing nets, together with a nested net system are defined by integrating the principles of colored PNs, timed PNs and nested PNs. An industrial example of electronics products is used throughout the whole paper to demonstrates how the proposed formalism is applied to specify production processes at differently levels of abstraction to achieve production configuration.
引用
收藏
页码:5 / +
页数:2
相关论文
共 50 条
  • [21] An ILASP-Based Approach to Repair Petri Nets
    Chiariello, Francesco
    Ielo, Antonio
    Tarzariol, Alice
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 85 - 97
  • [22] Modeling approach for workflow testing based on Petri nets
    Zheng, C.-Y., 1600, Univ. of Electronic Science and Technology of China (43):
  • [23] Composition of product-form Generalized Stochastic Petri Nets: a modular approach
    Balsamo, Simonetta
    Marin, Andrea
    EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 26 - 34
  • [24] A Petri nets-based formal approach to multifacetted modelling and simulation of complex production systems
    Bobeanu, CV
    Alla, H
    LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 1998 (LSS'98), VOL 1, 1999, : 373 - 379
  • [25] ANALYSIS OF STRUCTURAL PROPERTIES OF PETRI NETS BASED ON PRODUCT INCIDENCE MATRIX
    Ji, Guangyou
    Wang, Mingzhe
    KYBERNETIKA, 2013, 49 (04) : 601 - 618
  • [26] ON THE PRODUCT FORM SOLUTION FOR STOCHASTIC PETRI NETS
    DONATELLI, S
    SERENO, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 154 - 172
  • [27] Abstract Petri nets as a uniform approach to high-level petri nets
    Padberg, J
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
  • [28] Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets
    Mennicke, Stephan
    Lochau, Malte
    Schroeter, Julia
    Winkelmann, Tim
    18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 62 - 71
  • [29] Deficiency Zero Petri Nets and Product Form
    Mairesse, Jean
    Nguyen, Hoang-Thach
    FUNDAMENTA INFORMATICAE, 2010, 105 (03) : 237 - 261
  • [30] Queueing Petri nets with product form solution
    Bause, F
    Buchholz, P
    PERFORMANCE EVALUATION, 1998, 32 (04) : 265 - 299