GRASP-based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets

被引:1
|
作者
Kmimech, Hichem [1 ]
Sliman, Layth [2 ]
Nabli, Lotfi [1 ]
机构
[1] Univ Monastir, Res Lab Automat Signal & Image Proc, Monastir, Tunisia
[2] EFREI Cole Ingnieur Technol Informat & Commun, Paris, France
来源
2019 15TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG 2019) | 2019年
关键词
Labeled Petri Nets; Minimum Initial Marking; Label sequence; GRASP algorithms;
D O I
10.1109/SKG49510.2019.00021
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Computing the minimum initial marking (MIM) in labeled Petri nets (PN) while considering a sequence of labels constitutes a difficult problem. The existing solutions of such a problem suffer from diverse limitations. In this paper, we proposed a new approach to automatically compute the MIM in labeled PNs in a timely fashion. We adopted a grasp (Greedy Randomized Adaptive Search Procedure)-based algorithm to model the MIM problem. The choice of such an algorithm is justified by the nature of the MIM process which belongs to the NP-hard class. We experimentally showed the effectiveness of our approach and empirically studied the initial marking quality in particular.
引用
收藏
页码:75 / 80
页数:6
相关论文
共 50 条
  • [1] Minimum Initial Marking Estimation of Labeled Petri Nets Based on GRASP Inspired Method (GMIM)
    Abdellatif, Amir
    Telmoudi, Achraf Jabeur
    Bonhomme, Patrice
    Nabli, Lotfi
    CYBERNETICS AND SYSTEMS, 2020, 51 (04) : 467 - 484
  • [2] Minimum Initial Marking Estimation in Labeled Petri Nets
    Li, Lingxi
    Icostis, Christoforos N. Had
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 5000 - +
  • [3] Minimum Initial Marking Estimation in Labeled Petri Nets
    Li, Lingxi
    Hadjicostis, Christoforos N.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (01) : 198 - 203
  • [4] Genetic-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets
    Kmimech, Hichem
    Telmoudi, Achraf Jabeur
    Sliman, Layth
    Nabli, Lotfi
    IEEE ACCESS, 2020, 8 : 22854 - 22861
  • [5] Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions
    Ruan, Keyu
    Li, Lingxi
    Wu, Weimin
    IEEE ACCESS, 2019, 7 : 19232 - 19237
  • [6] Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations
    Yue, Hao
    Xu, Yakun
    Xing, Keyi
    Hu, Hesuan
    Pang, Shanchen
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2024, 54 (06): : 3427 - 3438
  • [7] Initial Marking Estimation in Labeled Petri Nets in a Probabilistic Setting
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 6725 - 6730
  • [8] Marking observer of labeled Petri nets with uncertainty in the initial marking
    Cabasino, Maria Paola
    Seatzu, Carla
    Hadjicostis, Christoforos N.
    2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 2348 - 2353
  • [9] Probabilistic Marking Estimation in Labeled Petri Nets
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (02) : 528 - 533
  • [10] Probabilistic Marking Estimation in Labeled Petri Nets
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 6304 - 6310