IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v13y2025i5p793-d1601506.html
   My bibliography  Save this article

Calculation and Analysis of Petri Net Reachability Graphs by a Think-Globally-Act-Locally Method

Author

Listed:
  • Chengzong Li

    (School of Energy and Electrical Engineering, Qinghai University, Xining 810000, China)

  • Fubao Jin

    (School of Energy and Electrical Engineering, Qinghai University, Xining 810000, China)

  • Yufeng Chen

    (Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR 999078, China)

  • Zhiwu Li

    (Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR 999078, China)

  • Murat Uzam

    (Elektrik-Elektronik Muhendisligi Bolumu, Muhendislik-Mimarlik Fakultesi, Yozgat Bozok Universitesi, Yozgat 66100, Turkey)

  • Huimin Ma

    (State Grid Qinghai Electric Power Company, UHV Company, Xining 810000, China)

Abstract

A think-globally-act-locally (TGAL) technique is proven to be an effective method to address the state explosion issue for complex discrete event systems modeled with Petri nets. This paper introduces a TGAL-based method for computing and analyzing the reachability graph (RG) of Petri net models. Given a net system, the TGAL technique strategically introduces a global idle place (GIP) to iteratively generate its RG by updating the token count. At each step, the reachable markings (RMs) and legal markings (LMs) obtained by the previous iterations are considered to calculate the corresponding states of the current step. According to the enforced control requirement, a system state is required to be computed and classified only once during an iterative process. This method only calculates the necessary number of RMs and reduces computational redundancy, which minimizes the computational cost. Four typical Petri net models from existing studies are employed to demonstrate the method.

Suggested Citation

  • Chengzong Li & Fubao Jin & Yufeng Chen & Zhiwu Li & Murat Uzam & Huimin Ma, 2025. "Calculation and Analysis of Petri Net Reachability Graphs by a Think-Globally-Act-Locally Method," Mathematics, MDPI, vol. 13(5), pages 1-15, February.
    • Handle: RePEc:gam:jmathe:v:13:y:2025:i:5:p:793-:d:1601506
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/13/5/793/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/13/5/793/
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:13:y:2025:i:5:p:793-:d:1601506. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.